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}
}
  • Marcel Böhme, S. Paul
  • Published 2016
  • Computer Science
  • IEEE Transactions on Software Engineering
  • 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… CONTINUE READING
    39 Citations
    Introducing complexity to formal testing
    STADS: Software Testing as Species Discovery
    • 13
    • Highly Influenced
    • PDF
    Towards Optimal Concolic Testing
    • 27
    • 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
    • 231
    • PDF
    Dynamic tainting for automatic test case generation
    • 2

    References

    SHOWING 1-10 OF 49 REFERENCES
    On the efficiency of automated testing
    • 16
    • PDF
    DART: Directed Automated Random Testing
    • K. Sen
    • Computer Science
    • Haifa Verification Conference
    • 2009
    • 937
    • Highly Influential
    • PDF
    On Testing Non-Testable Programs
    • 532
    • 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
    • PDF
    Random Testing: Theoretical Results and Practical Implications
    • 131
    • 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. 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
    • 715
    • PDF