| 2023 | ICSoft | Semantic Coverage: Measuring Test Suite Effectiveness. | Samia Al Blwi, Amani Ayad, Besma Khaireddine, Imen Marsit, Ali Mili |
| 2022 | ICSoft | Generalized Mutant Subsumption. | Samia Al Blwi, Imen Marsit, Besma Khaireddine, Amani Ayad, Ji Meng Loh, Ali Mili |
| 2022 | ICSoft | Three Forms of Mutant Subsumption: Basic, Strict and Broad. | Samia Al Blwi, Imen Marsit, Besma Khaireddine, Amani Ayad, Ji Meng Loh, Ali Mili |
| 2022 | QRS | Quantifying the Effectiveness of Mutant Sets. | Samia Al Blwi, Amani Ayad, Besma Khaireddine, Imen Marsit, Ali Mili |
| 2021 | ICSE | Quantifying Faultiness: What Does It Mean to Have N Faults? | Besma Khaireddine, Ali Mili |
| 2021 | QUATIC | Mutation Subsumption as Relative Incorrectness. | Besma Khaireddine, Amani Ayad, Imen Marsit, Ali Mili |
| 2021 | SoMeT | A Massively Parallel Approach to Automated Software Correctness Enhancement in Java. | Besma Khaireddine |
| 2021 | SoMeT | The Bane of Generate-and-Validate Program Repair: Too Much Generation, Too Little Validation. | Besma Khaireddine, Aleksandr Zakharchenko, Ali Mili |
| 2020 | QRS | A Semantic Definition of Faults and Its Implications. | Besma Khaireddine, Aleksandr Zakharchenko, Ali Mili |
| 2019 | ICST | Program Repair at Arbitrary Fault Depth. | Besma Khaireddine, Matias Martinez, Ali Mili |
| 2019 | QRS | Fault Density, Fault Depth and Fault Multiplicity: The Reward of Discernment. | Besma Khaireddine, Aleksandr Zakharchenko, Ali Mili |
| 2017 | ICSE | A Generic Algorithm for Program Repair. | Besma Khaireddine, Aleksandr Zakharchenko, Ali Mili |