Stochastic software testing

Annals of Software Engineering

Volumn 4, Issue , 1997, Pages 115-131

  Whittaker, James A ^a  

^a FLORIDA INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0031476859     PISSN: 10227091     EISSN: None     Source Type: Journal    
DOI: 10.1023/a:1018975029705     Document Type: Article

References (13)

1. Avritzer, A. and E. Weyuker (1995), "Automatic Generation of Load Test Suites and the Assessment of the Resulting Software," IEEE Transactions on Software Engineering 21, 9, 705-716.
2. Dahle, O. (1995), "Statistical Usage Testing Applied to Mobile Telecommunication Systems," MS Thesis, Department of Computer Science, University of Trondheim, Trondheim, Norway.
3. Duran, J. and S. Ntafos (1984), "An Evaluation of Random Testing," IEEE Transactions on Software Engineering 10, 4, 438-444.
4. Duran, J. and J. Wiorkowski (1984), "Quantifying Software Validity by Sampling," IEEE Transactions on Reliability 29, 2, 141-144.
5. Feller, W. (1950), An Introduction to Probability Theory and its Application, Volume 1, Wiley, New York, NY.
6. Hamlet, D. and R. Taylor (1990), "Partition Testing Does Not Inspire Confidence," IEEE Transactions on Software Engineering 16, 12, 1402-1411.
7. Houghtaling, M. (1996), "Automation Frameworks for Markov Chain Statistical Testing," In Proceedings of the Automated Software Test and Evaluation Conference, EFPDMA Press, Washington, DC.
8. Ostrand, T. and M. Balcer (1988), "The Category-Partition Method for Specifying and Generating Functional Tests," Communications of the ACM 31, 6, 676-686.
9. Poore, J.H., H.D. Mills, and D.M. Mutchler (1993), "Planning and Certifying Software System Reliability," IEEE Software 10, 1, 88-99.
10. Rautakorpi, M. (1995), "Application of Markov Chain Techniques in Certification of Software," MS Thesis, Department of Mathematics and Systems Analysis, Helsinki University of Technology, Helsinki, Finland.
11. Thevenod-Fosse, P. and H. Waeselynck (1993), "STATEMATE Applied to Statistical Software Testing," In Proceedings of the International Symposium on Software Testing and Analysis, ACM Press, Cambridge, MA, pp. 99-109.
12. Whittaker, J. and M. Thomason (1994), "A Markov Chain Model for Statistical Software Testing," IEEE Transactions on Software Engineering 20, 10, 812-824.
13. Whittaker, J.A. (1992), "Markov Chain Techniques for Software Testing and Reliability Analysis," PhD Dissertation, Department of Computer Science, University of Tennessee, Knoxville, TN.