14 citations · 23 across the 5 of their papers we have counts for
Showing 2016Show all
2 papers · 1 filter
cs.FL2016
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…
cs.LO2016★ 2 cited
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…