SiteHopper: Abstracting Navigation State Machines for the Efficient Verification of Web Applications. - Guillaume Demarty; Fabien Maronnaud; Gabriel Le Breton; Sylvain Hallé (WS-FM, 2012)

Automated exploration and analysis of ajax web applications with WebMole. - Gabriel Le Breton; Fabien Maronnaud; Sylvain Hallé (WWW (Companion Volume), 2013)

A Reference Framework for the Automated Exploration of Web Applications. - Gabriel Le Breton; Nicolas Bergeron; Sylvain Hallé (ICECCS, 2014)

Exhaustive Exploration of Ajax Web Applications with Selective Jumping. - Sylvain Hallé; Gabriel Le Breton; Fabien Maronnaud; Alexandre Blondin Massé; Sébastien Gaboury (ICST Workshops, 2014)

Testing Web Applications Through Layout Constraints. - Sylvain Hallé; Nicolas Bergeron; Francis Guerin; Gabriel Le Breton (ICST, 2015)

Declarative layout constraints for testing web applications. - Sylvain Hallé; Nicolas Bergeron; Francis Guerin; Gabriel Le Breton; Oussama Beroual (J. Log. Algebraic Methods Program., 2016)