Besma Khaireddine

Tunis University — TN

Computer Science · Physical Sciences

4h-index29citations19works2.02yr avg
OpenAlex↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Software Reliability and Analysis Research(14), Software Testing and Debugging Techniques(13), Software Engineering Research(10), Advanced Malware Detection Techniques(4), Software System Performance and Reliability(3)

Publications19 total

Subsumption, correctness and relative correctness: Implications for software testing
Science of Computer Programming·2024· 2 cited
Toward a theory of program repair
Acta Informatica·2023· 4 cited
Three Forms of Mutant Subsumption: Basic, Strict and Broad
Communications in computer and information science·2023
Subsumption, Correctness and Relative Correctness
SSRN Electronic Journal·2023Open Access
Semantic Coverage: Measuring Test Suite Effectiveness
2023Open Access
Subsumption, Correctness and Relative Correctness
SSRN Electronic Journal·2023Open Access
Quantifying the Effectiveness of Mutant Sets
2022
Generalized Mutant Subsumption
2022· 1 cited
A Massively Parallel Approach to Automated Software Correctness Enhancement in Java
Frontiers in artificial intelligence and applications·2021
The Bane of Generate-and-Validate Program Repair: Too Much Generation, Too Little Validation
Frontiers in artificial intelligence and applications·2021
Quantifying Faultiness: What Does It Mean to Have N Faults?
2021· 4 cited
Mutation Subsumption as Relative Incorrectness
Communications in computer and information science·2021· 1 cited
A Semantic Definition of Faults and Its Implications
2020
Correctness enhancement: a pervasive software engineering paradigm
International Journal of Critical Computer-Based Systems·2020
Correctness enhancement: a pervasive software engineering paradigm
International Journal of Critical Computer-Based Systems·2020
Fault Density, Fault Depth and Fault Multiplicity: The Reward of Discernment
2019
Program Repair at Arbitrary Fault Depth
2019· 7 cited
A generic algorithm for program repair
Formal Methods·2017· 4 cited
A Generic Algorithm for Program Repair
2017· 6 cited

Frequent Co-authors

Ali Mili(19), Aleksandr Zakharchenko(8), Imen Marsit(8), Amani Ayad(8), Samia AlBlwi(5), Matías Martínez(2), Samia Al Blwi(2), JiMeng Loh(2), Marwa Ben AbdelAli(2), Lamia Labed Jilani(2), Ji Meng Loh(2), JiMeng Loh(1), Александр Викторович Захарченко(1)