A probabilistic analysis of the efficiency of automated software testing

M Böhme, S Paul - IEEE Transactions on Software Engineering, 2015 - ieeexplore.ieee.org
We study the relative efficiencies of the random and systematic approaches to automated
software testing. Using a simple but realistic set of assumptions, we propose a general …

On the efficiency of automated testing

M Böhme, S Paul - Proceedings of the 22nd ACM SIGSOFT international …, 2014 - dl.acm.org
The aim of automated program testing is to gain confidence about a program's correctness
by sampling its input space. The sampling process can be either systematic or random. For …

On the statistical properties of testing effectiveness measures

TY Chen, FC Kuo, R Merkel - Journal of Systems and Software, 2006 - Elsevier
We examine the statistical variability of three commonly used software testing effectiveness
measures—the E-measure (expected number of failures detected), P-measure (probability …

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 …

Efficient software verification: Statistical testing using automated search

S Poulding, JA Clark - IEEE Transactions on Software …, 2010 - ieeexplore.ieee.org
Statistical testing has been shown to be more efficient at detecting faults in software than
other methods of dynamic testing such as random and structural testing. Test data are …

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 …

Automated software test generation: some challenges, solutions, and recent advances

G Candea, P Godefroid - Computing and Software Science: State of the …, 2019 - Springer
The automation of software testing promises to delegate to machines what is otherwise the
most labor-intensive and expensive part of software development. The past decade has …

[图书][B] Implementing automated software testing: How to save time and lower costs while raising quality

E Dustin, T Garrett, B Gauf - 2009 - books.google.com
“This book fills a huge gap in our knowledge of software testing. It does an excellent job
describing how test automation differs from other test activities, and clearly lays out what …

Benefits and limitations of automated software testing: Systematic literature review and practitioner survey

DM Rafi, KRK Moses, K Petersen… - 2012 7th international …, 2012 - ieeexplore.ieee.org
There is a documented gap between academic and practitioner views on software testing.
This paper tries to close the gap by investigating both views regarding the benefits and limits …

Supporting controlled experimentation with testing techniques: An infrastructure and its potential impact

H Do, S Elbaum, G Rothermel - Empirical Software Engineering, 2005 - Springer
Where the creation, understanding, and assessment of software testing and regression
testing techniques are concerned, controlled experimentation is an indispensable research …