12 citations · 14 across the 5 of their papers we have counts for
7 papers
Where Does the Budget Go? Structural Concentration in Learning-Based Mutant Selection
Taha Rostami, Jeongju Sohn, Mike Papadakis
Learning-based mutant selection is used to reduce the cost of mutation testing by ranking and selecting the mutants that seem to be the most promising. Prior work has shown great p…
A Comprehensive Study on Large Language Models for Mutation Testing
Bo Wang, Mingda Chen, Ming Deng +4
Large Language Models (LLMs) have recently been used to generate mutants in both research work and in industrial practice. However, there has been no comprehensive empirical study…
Keeping Mutation Test Suites Consistent and Relevant with Long-Standing Mutants
Milos Ojdanic, Mike Papadakis, Mark Harman
Mutation testing has been demonstrated to be one of the most powerful fault-revealing tools in the tester's tool kit. Much previous work implicitly assumed it to be sufficient to r…
Software Fairness: An Analysis and Survey
Ezekiel Soremekun, Mike Papadakis, Maxime Cordy +1
In the last decade, researchers have studied fairness as a software property. In particular, how to engineer fair software systems? This includes specifying, designing, and validat…
LaF: Labeling-Free Model Selection for Automated Deep Neural Network Reusing
Qiang Hu, Yuejun Guo, Maxime Cordy +3
Applying deep learning to science is a new trend in recent years which leads DL engineering to become an important problem. Although training data preparation, model architecture d…
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…
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.…