2 citations · 2 across the 4 of their papers we have counts for
4 papers
Emerging Results on Automated Support for Searching and Selecting Evidence for Systematic Literature Review Updates
Bianca Minetto Napoleão, Ritika Sarkar, Sylvain Hallé +2
Context: The constant growth of primary evidence and Systematic Literature Reviews (SLRs) publications in the Software Engineering (SE) field leads to the need for SLR Updates. How…
An Alternating Automaton for First-Order Linear Temporal Logic--Tech Report
Yannick Lebrun, Raphaël Khoury, Sylvain Hallé
In this paper we give automata-based representation of LTL-FO properties. LTL-FO is an extension of LTL that includes first-order quantification over bounded variable, thus…
Fault Localization in Web Applications via Model Finding
Sylvain Hallé, Oussama Beroual
We describe a generic technique for fault localization independent from the nature of the object or the specification language used to declare its expected properties. This techniq…
Proceedings Fourth International Workshop on Testing, Analysis and Verification of Web Software
Gwen Salaün, Xiang Fu, Sylvain Hallé
This volume contains the papers presented at the fourth international workshop on Testing, Analysis and Verification of Software, which was associated with the 25th IEEE/ACM Intern…