Test Generation for Sequential Nets of Abstract State Machines. - Paolo Arcaini; Francesco Bolis; Angelo Gargantini (ABZ, 2012)

Model-Driven Testing for Web Applications Using Abstract State Machines. - Francesco Bolis; Angelo Gargantini; Marco Guarnieri; Eros Magri; Lorenzo Musto (ICWE Workshops, 2012)

Evolutionary Testing of PHP Web Applications with WETT. - Francesco Bolis; Angelo Gargantini; Marco Guarnieri; Eros Magri (SSBSE, 2012)