4 papers
Formal Analysis of Reachability, Infection and Propagation Conditions in Mutation Testing
Seyed-Hassan Mirian-Hosseinabadi
Finding test cases to kill the alive mutants in Mutation testing needs to calculate the Reachability, Infection and Propagation(RIP) conditions and full test specification. In this…
Using causal inference and Bayesian statistics to explain the capability of a test suite in exposing software faults
Alireza Aghamohammadi, Seyed-Hassan Mirian-Hosseinabadi
Test effectiveness refers to the capability of a test suite in exposing faults in software. It is crucial to be aware of factors that influence this capability. We aim at inferring…
The Threat to the Validity of Predictive Mutation Testing: The Impact of Uncovered Mutants
Alireza Aghamohammadi, Seyed-Hassan Mirian-Hosseinabadi
Predictive Mutation Testing (PMT) is a technique to predict whether a mutant will be killed by using machine learning approaches. Researchers have proposed various machine learning…
Incorporating fault-proneness estimations into coverage-based test case prioritization methods
Mostafa Mahdieh, Seyed-Hassan Mirian-Hosseinabadi, Khashayar Etemadi +2
Context: During the development process of a software program, regression testing is used to ensure that the correct behavior of the software is retained after updates to the sourc…