Besma Khaireddine

According to our database, Besma Khaireddine authored at least 15 papers between 2017 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Subsumption, correctness and relative correctness: Implications for software testing.

Samia Al Blwi, Imen Marsit, Besma Khaireddine, Amani Ayad, Ji Meng Loh, Ali Mili

Sci. Comput. Program., 2025

2023

Toward a theory of program repair.

Besma Khaireddine, Aleksandr Zakharchenko, Matias Martinez, Ali Mili

Acta Informatica, September, 2023

Semantic Coverage: Measuring Test Suite Effectiveness.

Samia Al Blwi, Amani Ayad, Besma Khaireddine, Imen Marsit, Ali Mili

Proceedings of the 18th International Conference on Software Technologies, 2023

2022

Quantifying the Effectiveness of Mutant Sets.

Samia Al Blwi, Amani Ayad, Besma Khaireddine, Imen Marsit, Ali Mili

Proceedings of the 22nd IEEE International Conference on Software Quality, 2022

Three Forms of Mutant Subsumption: Basic, Strict and Broad.

Samia Al Blwi, Imen Marsit, Besma Khaireddine, Amani Ayad, Ji Meng Loh, Ali Mili

Proceedings of the Software Technologies - 17th International Conference, 2022

Generalized Mutant Subsumption.

Samia Al Blwi, Imen Marsit, Besma Khaireddine, Amani Ayad, Ji Meng Loh, Ali Mili

Proceedings of the 17th International Conference on Software Technologies, 2022

2021

The Bane of Generate-and-Validate Program Repair: Too Much Generation, Too Little Validation.

Besma Khaireddine, Aleksandr Zakharchenko, Ali Mili

Proceedings of the New Trends in Intelligent Software Methodologies, Tools and Techniques, 2021

A Massively Parallel Approach to Automated Software Correctness Enhancement in Java.

Besma Khaireddine

Proceedings of the New Trends in Intelligent Software Methodologies, Tools and Techniques, 2021

Mutation Subsumption as Relative Incorrectness.

Besma Khaireddine, Amani Ayad, Imen Marsit, Ali Mili

Proceedings of the Quality of Information and Communications Technology, 2021

Quantifying Faultiness: What Does It Mean to Have N Faults?

Besma Khaireddine, Ali Mili

Proceedings of the 9th IEEE/ACM International Conference on Formal Methods in Software Engineering, 2021

2020

Correctness enhancement: a pervasive software engineering paradigm.

Besma Khaireddine, Marwa Ben AbdelAli, Lamia Labed Jilani, Aleksandr Zakharchenko, Ali Mili

Int. J. Crit. Comput. Based Syst., 2020

A Semantic Definition of Faults and Its Implications.

Besma Khaireddine, Aleksandr Zakharchenko, Ali Mili

Proceedings of the 20th IEEE International Conference on Software Quality, 2020

2019

Fault Density, Fault Depth and Fault Multiplicity: The Reward of Discernment.

Besma Khaireddine, Aleksandr Zakharchenko, Ali Mili

Proceedings of the 19th IEEE International Conference on Software Quality, 2019

Program Repair at Arbitrary Fault Depth.

Besma Khaireddine, Matias Martinez, Ali Mili

Proceedings of the 12th IEEE Conference on Software Testing, Validation and Verification, 2019

2017

A Generic Algorithm for Program Repair.

Besma Khaireddine, Aleksandr Zakharchenko, Ali Mili

Proceedings of the 5th IEEE/ACM International FME Workshop on Formal Methods in Software Engineering, 2017