32 citations · 61 across the 19 of their papers we have counts for
4 papers · 1 filter
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…
Syntactic Vs. Semantic similarity of Artificial and Real Faults in Mutation Testing Studies
Milos Ojdanic, Aayush Garg, Ahmed Khanfir +3
Fault seeding is typically used in controlled studies to evaluate and compare test techniques. Central to these techniques lies the hypothesis that artificially seeded faults invol…
Cerebro: Static Subsuming Mutant Selection
Aayush Garg, Milos Ojdanic, Renzo Degiovanni +3
Mutation testing research has indicated that a major part of its application cost is due to the large number of low utility mutants that it introduces. Although previous research h…
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.…