Fault Localization in Web Applications via Model Finding. - Sylvain Hallé; Oussama Beroual (CREST@ETAPS, 2016)

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

Searching for Behavioural Bugs with Stateful Test Oracles in Web Crawlers. - Oussama Beroual; Francis Guerin; Sylvain Hallé (SBST@ICSE, 2017)

Detecting Responsive Web Design Bugs with Declarative Specifications. - Oussama Beroual; Francis Guérin; Sylvain Hallé (ICWE, 2020)