Mutation testing advances: an analysis and survey

M Papadakis, M Kintis, J Zhang, Y Jia, Y Le Traon… - Advances in …, 2019 - Elsevier
Mutation testing realizes the idea of using artificial defects to support testing activities.
Mutation is typically used as a way to evaluate the adequacy of test suites, to guide the …

Automated fixing of programs with contracts

Y Wei, Y Pei, CA Furia, LS Silva, S Buchholz… - Proceedings of the 19th …, 2010 - dl.acm.org
In program debugging, finding a failing run is only the first step; what about correcting the
fault? Can we automate the second task as well as the first? The AutoFix-E tool …

An empirical study on mutation, statement and branch coverage fault revelation that avoids the unreliable clean program assumption

TT Chekam, M Papadakis, Y Le Traon… - 2017 IEEE/ACM 39th …, 2017 - ieeexplore.ieee.org
Many studies suggest using coverage concepts, such as branch coverage, as the starting
point of testing, while others as the most prominent test quality indicator. Yet the relationship …

How do developers test android applications?

M Linares-Vásquez, C Bernal-Cárdenas… - 2017 IEEE …, 2017 - ieeexplore.ieee.org
Enabling fully automated testing of mobile applications has recently become an important
topic of study for both researchers and practitioners. A plethora of tools and approaches …

Random testing: Theoretical results and practical implications

A Arcuri, MZ Iqbal, L Briand - IEEE transactions on Software …, 2011 - ieeexplore.ieee.org
A substantial amount of work has shed light on whether random testing is actually a useful
testing technique. Despite its simplicity, several successful real-world applications have …

Evaluating software testing techniques: A systematic map** study

M Mayeda, A Andrews - Advances in Computers, 2021 - Elsevier
Software testing techniques are crucial for detecting faults in software and reducing the risk
of using it. As such, it is important that we have a good understanding of how to evaluate …

Formal analysis of the effectiveness and predictability of random testing

A Arcuri, MZ Iqbal, L Briand - … of the 19th international symposium on …, 2010 - dl.acm.org
There has been a lot of work to shed light on whether random testing is actually a useful
testing technique. Despite its simplicity, several successful real-world applications appear in …

Test generation for higher-order functions in dynamic languages

M Selakovic, M Pradel, R Karim, F Tip - Proceedings of the ACM on …, 2018 - dl.acm.org
Test generation has proven to provide an effective way of identifying programming errors.
Unfortunately, current test generation techniques are challenged by higher-order functions …

Mutomvo: Mutation testing framework for simulated cloud and HPC environments

PC Cañizares, A Núñez, MG Merayo - Journal of Systems and Software, 2018 - Elsevier
Many current applications provide high performance to process large volumes of data.
These applications usually run in highly distributed environments, like cloud and HPC …

A general modeling and analysis framework for software fault detection and correction process

Y Liu, D Li, L Wang, Q Hu - Software Testing, Verification and …, 2016 - Wiley Online Library
Software reliability growth modeling plays an important role in software reliability evaluation.
To incorporate more information and provide more accurate analysis, modeling software …