Besma Khaireddine

15 papers A 1C 5Misc 1Journal 3Unranked 5
YearRankTypeTitle / Venue / Authors
2025 J jnl
Subsumption, correctness and relative correctness: Implications for software testing.
Sci. Comput. Program.
Samia Al Blwi, Imen Marsit, Besma Khaireddine, Amani Ayad, Ji Meng Loh, Ali Mili
2023 C conf
Semantic Coverage: Measuring Test Suite Effectiveness.
ICSOFT
Samia Al Blwi, Amani Ayad, Besma Khaireddine, Imen Marsit, Ali Mili
2023 J jnl
Toward a theory of program repair.
Acta Informatica
Besma Khaireddine, Aleksandr Zakharchenko, Matias Martinez, Ali Mili
2022 C conf
Generalized Mutant Subsumption.
ICSOFT
Samia Al Blwi, Imen Marsit, Besma Khaireddine, Amani Ayad, Ji Meng Loh, Ali Mili
2022 — conf
Quantifying the Effectiveness of Mutant Sets.
QRS Companion
Samia Al Blwi, Amani Ayad, Besma Khaireddine, Imen Marsit, Ali Mili
2022 — conf
Three Forms of Mutant Subsumption: Basic, Strict and Broad.
ICSOFT (Selected Papers)
Samia Al Blwi, Imen Marsit, Besma Khaireddine, Amani Ayad, Ji Meng Loh, Ali Mili
2021 C conf
A Massively Parallel Approach to Automated Software Correctness Enhancement in Java.
SoMeT
Besma Khaireddine
2021 Misc conf
Mutation Subsumption as Relative Incorrectness.
QUATIC
Besma Khaireddine, Amani Ayad, Imen Marsit, Ali Mili
2021 — conf
Quantifying Faultiness: What Does It Mean to Have N Faults?
FormaliSE@ICSE
Besma Khaireddine, Ali Mili
2021 C conf
The Bane of Generate-and-Validate Program Repair: Too Much Generation, Too Little Validation.
SoMeT
Besma Khaireddine, Aleksandr Zakharchenko, Ali Mili
2020 C conf
A Semantic Definition of Faults and Its Implications.
QRS
Besma Khaireddine, Aleksandr Zakharchenko, Ali Mili
2020 J jnl
Correctness enhancement: a pervasive software engineering paradigm.
Int. J. Crit. Comput. Based Syst.
Besma Khaireddine, Marwa Ben AbdelAli, Lamia Labed Jilani, Aleksandr Zakharchenko, Ali Mili
2019 — conf
Fault Density, Fault Depth and Fault Multiplicity: The Reward of Discernment.
QRS Companion
Besma Khaireddine, Aleksandr Zakharchenko, Ali Mili
2019 A conf
Program Repair at Arbitrary Fault Depth.
ICST
Besma Khaireddine, Matias Martinez, Ali Mili
2017 — conf
A Generic Algorithm for Program Repair.
FormaliSE@ICSE
Besma Khaireddine, Aleksandr Zakharchenko, Ali Mili