When only random testing will do

Proceedings of the 1st International Workshop on Random Testing, RT'06

Volumn 2006, Issue , 2006, Pages 1-9

  Hamlet, Dick ^a  

^a PORTLAND STATE UNIVERSITY   (United States)

Author keywords

Random vs. Systematic testing; Testing theory

Indexed keywords

COMPUTER SCIENCE; DATA REDUCTION; INFORMATION MANAGEMENT; INFORMATION TECHNOLOGY; RANDOM PROCESSES;

RANDOM TESTING; SYSTEMATIC TESTING; TEST-POINT CHOICES; TESTING THEORY;

SOFTWARE TESTING;

EID: 34247368947     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1145735.1145737     Document Type: Conference Paper

References (20)

1. Sergio Antoy and Richard G. Hamlet. Automatically checking an implementation against its formal specification. IEEE Trans. on Soft. Eng., 26:55-69, 2000.
2. Philip J. Boland, Harshinder Singh, and Bojan Cukic. Comparing partition and random testing via majorization and schur functions. IEEE Trans. Softw. Eng., 29(1):88-94, 2003.
3. G. Brat, K. Havelund, S. Park, and W. Visser. Model checking programs. In IEEE International Conference on Automated Software Engineering (ASE), 2000.
4. R. W. Butler and G. B. Finelli. The infeasibility of experimental quantification of life-critical software reliability. IEEE Trans. on Soft. Eng., 19(1):3-12, January 1993.
5. R. DeMillo, R. Lipton, and F. Sayward. Hints on test data selection: help for the practicing programmer. Computer, 11:34-43, 1978.
6. J. Duran and S. Ntafos. An evaluation of random testing. IEEE Trans. on Soft. Eng., 10:438-444, 1984.
7. Jr. Guy L. Steele. The Hacker's Distionary: a guide to the world of computer wizards. Harper and Row, 1983.
8. D. Hamlet. Random testing. In J. Marciniak, editor, Encyclopedia of Software Engineering, pages 970-978. Wiley, New York, 1994.
9. D. Hamlet and R. Taylor. Partition testing does not inspire confidence. IEEE Trans. on Soft. Eng., 16:1402-1411, 1990.
10. Dick Hamlet. Subdomain testing of units and systems with state. To appear in ISSTA 2006. Copy at: www.cs.pdx.edu/~hamlet/ISSTA.pdf.
11. Dick Hamlet, Dave Mason, and Denise Woit. Properties of software systems synthesized from components. In K-K. Lau, editor, Case Studies in Computer-based Software Engineering, chapter 6. World Scientific, 2004.
12. Dick Hamlet and Joe Maybee. The Engineering of Software. Addison Wesley, 2001.
13. W. Howden. Methodology for the generation of program test data. IEEE Trans. Computers, 24:554-559, 1975.
14. Daniel Jackson. Alloy: a lightweight object modeling notation. ACM Transactions on Soft. Eng. Methodology, pages 256-290, April 2002.
15. D. Marinov and S. Khurshid. Testera: a novel framework for automated testing of Java programs. In Proceedings 16th IEEE Int. Conf. on Automated Software Engineering, pages 22-34, San Diego, 2001.
16. J. D. Musa. Operational profiles in software-reliability engineering. IEEE Software, pages 14-32, 1993.
17. John Musa, Gene Fuoco, Nancy Irving, and Diane Kropfl. The Operational Profile, pages 167-216. McGraw-Hill, New York, 1996.
18. Dennis Peters and David L. Parnas. Generating a test oracle from program documentation. In Proceedings ISSTA '94, pages 58-65, Seattle, WA, 1994.
19. Clemens Szyperski. Component Software. Addison-Wesley, 2nd edition, 2002.
20. P. Thévenod-Fosse and H. Waeselynck. Stalemate applied to statistical software testing. In Software Engineering Notes (ISSTA '93), pages 99-109, 1993.