12 citations · 14 across the 5 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
cs.SE2021
Mutation Testing in Evolving Systems: Studying the relevance of mutants to code evolution
Milos Ojdanic, Ezekiel Soremekun, Renzo Degiovanni +2
When software evolves, opportunities for introducing faults appear. Therefore, it is important to test the evolved program behaviors during each evolution cycle. We conduct an expl…
cs.SE2021★ 12 cited
Automated Repair of Unrealisable LTL Specifications Guided by Model Counting
Matías Brizzio, Maxime Cordy, Mike Papadakis +3
The reactive synthesis problem consists of automatically producing correct-by-construction operational models of systems from high-level formal specifications of their behaviours.…