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