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
Introducing complexity to formal testing
STADS: Software Testing as Species Discovery
  • 13
  • Highly Influenced
  • PDF
Towards Optimal Concolic Testing
  • 28
  • PDF
Assurances in Software Testing: A Roadmap
  • Marcel Böhme
  • Computer Science
  • 2019 IEEE/ACM 41st International Conference on Software Engineering: New Ideas and Emerging Results (ICSE-NIER)
  • 2019
  • 9
STADS: Software Testing as Species Discovery
  • Marcel Böhme
  • Computer Science
  • ACM Trans. Softw. Eng. Methodol.
  • 2018
  • 2
Coverage-Based Greybox Fuzzing as Markov Chain
  • 237
  • PDF
Dynamic tainting for automatic test case generation
  • 2
...
1
2
3
4
...

References

SHOWING 1-10 OF 49 REFERENCES
On the efficiency of automated testing
  • 16
  • PDF
DART: Directed Automated Random Testing
  • Koushik Sen
  • Computer Science
  • Haifa Verification Conference
  • 2009
  • 933
  • Highly Influential
  • PDF
On Testing Non-Testable Programs
  • 535
  • PDF
Applications of feasible path analysis to program testing
  • 76
  • PDF
On the Expected Number of Failures Detected by Subdomain Testing and Random Testing
  • 147
Random Testing: Theoretical Results and Practical Implications
  • 132
  • Highly Influential
  • PDF
A survey of coverage based testing tools
  • 160
  • PDF
Partition Testing vs. Random Testing: The Influence of Uncertainty
  • W. Gutjahr
  • Computer Science
  • IEEE Trans. Software Eng.
  • 1999
  • 144
  • PDF
Code coverage, what does it mean in terms of quality?
  • T. Williams, M. R. Mercer, J. Mucha, R. Kapur
  • Computer Science
  • Annual Reliability and Maintainability Symposium. 2001 Proceedings. International Symposium on Product Quality and Integrity (Cat. No.01CH37179)
  • 2001
  • 38
Korat: automated testing based on Java predicates
  • 721
  • PDF
...
1
2
3
4
5
...