Person has left EURECOM Name : AL KASSAR Feras Thesis Testability Tarpits - Navigating the Challenges of Static Tools in Web Applications