Test execution checkpointing for web applications. - Marco Guarnieri; Petar Tsankov; Tristan Buchs; Mohammad Torabi Dashti; David A. Basin (ISSTA, 2017)