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)

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)