Amani Ayad

Publication Activity (10 Years)

Years Active: 2018-2025
Publications (10 Years): 12

Top Topics

Mutation Testing

Strongly Correlated

Semantic Aspects

Top Venues

ICSOFT (Selected Papers)

Sci. Comput. Program.

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)
Samia Al Blwi, Amani Ayad, Ali Mili
Mutation Coverage is not Strongly Correlated with Mutation Coverage. AST@ICSE (2024)
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)
Imen Marsit, Amani Ayad, David Kim, Monsour Latif, Ji Meng Loh, Mohamed Nazih Omri, Ali Mili
The ratio of equivalent mutants: A key to analyzing mutation equivalence. J. Syst. Softw. 181 (2021)
Besma Khaireddine, Amani Ayad, Imen Marsit, Ali Mili
Mutation Subsumption as Relative Incorrectness. QUATIC (2021)
Amani Ayad, Imen Marsit, Ji Meng Loh, Mohamed Nazih Omri, Ali Mili
Quantitative Metrics for Mutation Testing. ICSOFT (2019)
Amani Ayad, Imen Marsit, Ji Meng Loh, Mohamed Nazih Omri, Ali Mili
Estimating the Number of Equivalent Mutants. ICST Workshops (2019)
Amani Ayad, Imen Marsit, Sara Tawfig, Ji Meng Loh, Mohamed Nazih Omri, Ali Mili
Quantitative Analysis of Mutant Equivalence. ICSOFT (Selected Papers) (2019)
Amani Ayad, Imen Marsit, Mohamed Nazih Omri, Ji Meng Loh, Ali Mili
Using Semantic Metrics to Predict Mutation Equivalence. ICSOFT (Selected Papers) (2018)