Amani Ayad

According to our database, Amani Ayad authored at least 13 papers between 2018 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

2024

Detecting Faults vs. Revealing Failures: Exploring the Missing Link.

Amani Ayad, Samia Al Blwi, Ali Mili

Proceedings of the 24th IEEE International Conference on Software Quality, 2024

Mutation Coverage is not Strongly Correlated with Mutation Coverage.

Samia Al Blwi, Amani Ayad, Ali Mili

Proceedings of the 5th ACM/IEEE International Conference on Automation of Software Test (AST 2024), 2024

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 ratio of equivalent mutants: A key to analyzing mutation equivalence.

Imen Marsit, Amani Ayad, David Kim, Monsour Latif, Ji Meng Loh, Mohamed Nazih Omri, Ali Mili

J. Syst. Softw., 2021

Mutation Subsumption as Relative Incorrectness.

Besma Khaireddine, Amani Ayad, Imen Marsit, Ali Mili

Proceedings of the Quality of Information and Communications Technology, 2021

2019

Estimating the Number of Equivalent Mutants.

Amani Ayad, Imen Marsit, Ji Meng Loh, Mohamed Nazih Omri, Ali Mili

Proceedings of the 2019 IEEE International Conference on Software Testing, 2019

Quantitative Analysis of Mutant Equivalence.

Amani Ayad, Imen Marsit, Sara Tawfig, Ji Meng Loh, Mohamed Nazih Omri, Ali Mili

Proceedings of the Software Technologies - 14th International Conference, 2019

Quantitative Metrics for Mutation Testing.

Amani Ayad, Imen Marsit, Ji Meng Loh, Mohamed Nazih Omri, Ali Mili

Proceedings of the 14th International Conference on Software Technologies, 2019

2018

Using Semantic Metrics to Predict Mutation Equivalence.

Amani Ayad, Imen Marsit, Mohamed Nazih Omri, Ji Meng Loh, Ali Mili

Proceedings of the Software Technologies - 13th International Conference, 2018