Besma Khaireddine

Publication Activity (10 Years)

Years Active: 2017-2025
Publications (10 Years): 15

Top Topics

Massively Parallel

Fault Diagnosis

Software Engineering

Top Venues

Publications

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