VLDB 2026 Research / reviewers in the wild / expert
Amani Ayad
dblp:242/6252
· DBLP profile ↗
8ranked-venue papers
3as first author
7since 2021 · last 2025
0009-0002-3259-3528ORCID · corroborated
Domains — the database's venue-derived domains; a paper can count in several
Software engineering, systems software and programming languages · 8 · 3 first-author · 7 since 2021
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2025 | Detecting faults vs. Exposing failures: Orthogonal measures of test suite effectiveness
Amani Ayad, Samia Alblwi, Ali Mili 0001 |
J. Syst. Softw. | 1 |
| 2025 | Subsumption, correctness and relative correctness: Implications for software testing
Samia Al Blwi, Imen Marsit, Besma Khaireddine, Amani Ayad, Ji Meng Loh, Ali Mili 0001 |
Sci. Comput. Program. | 4 |
| 2024 | Mutation Coverage is not Strongly Correlated with Mutation CoverageabstractSeveral metrics have been proposed in the past to quantify the effectiveness of a test suite; they are usually types of coverage metrics, because it is sensible to quantify the effectiveness of a test suite by the extent to which it exercises (covers) various syntactic or semantic features of a program. Though no coverage metric has emerged as the gold standard of test suite effectiveness, mutation coverage is usually considered as a reliable measure thereof, because the ability of a test suite to detect program mutations can be an indication of its ability to detect faults. In this paper, we aim to challenge the superiority of mutation coverage, by showing empirically that the same test suite can have vastly different values of mutation coverage depending on the mutation operators that are used to generate mutants. Samia Al Blwi, Amani Ayad, Ali Mili 0001 |
AST | 2 |
| 2024 | Detecting Faults vs. Revealing Failures: Exploring the Missing LinkabstractWhen we quantify the effectiveness of a test suite by its mutation coverage, we are in fact equating test suite effectiveness with fault detection: to the extent that mutations are faithful proxies of actual faults, it is sensible to consider that the effectiveness of a test suite to kill mutants reflects its ability to detect faults. But there is another way to measure the effectiveness of a test suite: by its ability to expose the failures of an incorrect program (or, equivalently, its ability to give us confidence in the correctness of a correct program). The relationship between failures and faults is tenuous at best: a fault is the adjudged or hypothesized cause of a failure. Whereas a failure is an observable, verifiable, certifiable effect, a fault is someone’s hypothesis about the possible cause of the observed effect. The same failure may be attributed to more than one fault or combination of faults. In this paper we raise two questions: is the ability to detect faults the same as the ability to reveal failures? If not, which is the better measure of test suite effectiveness? We do not give definite answers to these questions, but we use empirical data to challenge some assumptions and show why these questions are worth answering. Amani Ayad, Samia Al Blwi, Ali Mili 0001 |
QRS | 1 |
| 2023 | Semantic Coverage: Measuring Test Suite Effectiveness
Samia Al Blwi, Amani Ayad, Besma Khaireddine, Imen Marsit, Ali Mili 0001 |
ICSOFT | 2 |
| 2022 | Generalized Mutant Subsumption
Samia Al Blwi, Imen Marsit, Besma Khaireddine, Amani Ayad, Ji Meng Loh, Ali Mili 0001 |
ICSOFT | 4 |
| 2021 | The ratio of equivalent mutants: A key to analyzing mutation equivalence
Imen Marsit, Amani Ayad, Monsour Latif, Ji Meng Loh, Mohamed Nazih Omri, Ali Mili 0001 |
J. Syst. Softw. | 2 |
| 2019 | Quantitative Metrics for Mutation Testing
Amani Ayad, Imen Marsit, Ji Meng Loh, Mohamed Nazih Omri, Ali Mili 0001 |
ICSOFT | 1 |