A Probabilistic Analysis of the Efficiency of Automated Software Testing
@article{Bhme2016APA,
title={A Probabilistic Analysis of the Efficiency of Automated Software Testing},
author={Marcel B{\"o}hme and S. Paul},
journal={IEEE Transactions on Software Engineering},
year={2016},
volume={42},
pages={345-360}
}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 model for software testing and define sampling strategies for random (R) and systematic (S0) testing, where each sampling is associated with a sampling cost: 1 and c units of time, respectively. The two most important goals of software testing are: (i) achieving in minimal time a given degree of confidence x in a program… Expand
39 Citations
Developing and Evaluating Objective Termination Criteria for Random Testing
- Computer Science
- TSEM
- 2019
- 2
Towards Optimal Concolic Testing
- Computer Science
- 2018 IEEE/ACM 40th International Conference on Software Engineering (ICSE)
- 2018
- 28
- PDF
Assurances in Software Testing: A Roadmap
- Computer Science
- 2019 IEEE/ACM 41st International Conference on Software Engineering: New Ideas and Emerging Results (ICSE-NIER)
- 2019
- 9
Coverage-Based Greybox Fuzzing as Markov Chain
- Computer Science
- IEEE Transactions on Software Engineering
- 2019
- 237
- PDF
References
SHOWING 1-10 OF 49 REFERENCES
DART: Directed Automated Random Testing
- Computer Science
- Haifa Verification Conference
- 2009
- 933
- Highly Influential
- PDF
On the Expected Number of Failures Detected by Subdomain Testing and Random Testing
- Computer Science
- IEEE Trans. Software Eng.
- 1996
- 147
Random Testing: Theoretical Results and Practical Implications
- Computer Science
- IEEE Transactions on Software Engineering
- 2012
- 132
- Highly Influential
- PDF
Partition Testing vs. Random Testing: The Influence of Uncertainty
- Computer Science
- IEEE Trans. Software Eng.
- 1999
- 144
- PDF
Code coverage, what does it mean in terms of quality?
- Computer Science
- Annual Reliability and Maintainability Symposium. 2001 Proceedings. International Symposium on Product Quality and Integrity (Cat. No.01CH37179)
- 2001
- 38