Constraint-based automatic test data generation

IEEE Transactions on Software Engineering

Volumn 17, Issue 9, 1991, Pages 900-910

  DeMillo, Richard A ^a   Offutt, A Jefferson ^a  

^a PURDUE UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING - PROGRAM DEBUGGING;

CONSTRAINT SATISFACTION; FAULT-BASED TESTING; GODZILLA AUTOMATIC TEST GENERATOR; MOTHRA TESTING SYSTEM; MUTATION TESTING;

COMPUTER SOFTWARE;

EID: 0026222968     PISSN: 00985589     EISSN: None     Source Type: None    
DOI: 10.1109/32.92910     Document Type: Article

References (37)

1. Α. Τ. Acree T. A. Budd R. A. DeMillo R. J. Lipton F. G. Sayward Mutation analysis Sept. 1979 Atlanta GIT-ICS-79/08 School of Inform, and Comput. Sci., Georgia Instit. Technol.
2. D. Baldwin F. Sayward Heuristics for determining equivalence of program mutations 1979 CI, New Haven 276 Dept. Comput. Sci., Yale Univ.
3. M. S. Bazaraa J. J. Jarvis Linear Programming and Network Flows 1977 Wiley New York
4. T. A. Budd Mutation analysis of program test data 1980 Yale Univ. CT, New Haven
5. T. A. Budd D. Angluin Two notions of correctness and their relation to testing Acta Informatica 18 1 31 45 Nov. 1982
6. L. A. Clarke A system to generate test data and symbolically execute programs IEEE Trans. Software Eng. SE-2 215 222 Sept. 1976
7. L. A. Clarke A. Podgurski D. J. Richardson S. J. Zeil A comparison of data flow path selection criteria Proc. 8th Int. Conf. Software Eng. Proc. 8th Int. Conf. Software Eng. London UK 1985-Aug.
8. 244 251 1985 IEEE Computer Soc. CA, Los Alamitos
9. L. A. Clarke D. J. Richardson The application of error-sensitive testing strategies to debugging Symp. High-Level Debugging, ACM SIGSOFT/SIGPLAN 45 52 Symp. High-Level Debugging, ACM SIGSOFT/SIGPLAN 1983-Mar.
10. W. M. Craft Detecting equivalent mutants using compiler optimization techniques 1989 Clemson Univ. SC, Clemson
11. R. A. DeMillo D. S. Guindi K. N. King W. M. McCracken A. J. Offutt An extended overview of the Mothra software testing environment Proc. 2nd Workshop on Software Testing, Verification, and Analysis 142 151 Proc. 2nd Workshop on Software Testing, Verification, and Analysis Banff Can. 1988-July
12. R. A. DeMillo E. W. Krauser R. J. Martin A. J. Offutt E. H. Spafford The Mothra tool set Proc. 22nd Hawaii Int. Conf. System Sciences 275 284 Proc. 22nd Hawaii Int. Conf. System Sciences Kailua-Kona HI 1989-Jan.
13. R. A. DeMillo R. J. Lipton F. G. Sayward Hints on test data selection: Help for the practicing programmer IEEE Computer C-11 34 41 Apr. 1978
14. R. A. DeMillo A. J. Offutt Experimental results of automatically generated adequate test sets Proc. 6th Ann. Pacific Northwest Software Quality Conf. 209 232 Proc. 6th Ann. Pacific Northwest Software Quality Conf. Portland OR 1988-Sept.
15. R. A. DeMillo F. G. Sayward R. J. Lipton Program mutation: A new approach to program testing 107 126 1979 Infotech Int.
16. R. A. DeMillo E. I.. Spafford The Mothra software testing environment Proc. 11th NASA Software Eng. Lab. Workshop Proc. 11th NASA Software Eng. Lab. Workshop Goddard 1986-Dec.
17. P. G. Frankl The use of data flow information for the selection and evaluation of software test data 1987 New York Univ. NY, New York
18. M. R. Girgis M. R. Woodward An experimental comparison of the error exposing ability of program testing criteria Proc. Workshop on Software Test 64 73 Proc. Workshop on Software Test 1986-July
19. M. J. Harrold R. Gupta M. L. Soffa TBM: A testbed management tool Proc. 7th Int. Conf. Testing Comput. Software, ACM SIGSOFT 47 56 Proc. 7th Int. Conf. Testing Comput. Software, ACM SIGSOFT San Francisco CA 1990-June
20. J. R. Horgan A. P. Mathur Weak mutation is probably strong mutation Dec. 1990 IN, West Lafayette SERC-TR-83-P Software Eng. Res. Ctr., Purdue Univ.
21. W. E. Howden Reliability of the path analysis testing strategy IEEE Trans. Software Eng. SE-2 208 215 Sept. 1976
22. W. E. Howden Weak mutation testing and completeness of test sets IEEE Trans. Software Eng. SE-8 371 379 July 1982
23. W. E. Howden Functional Programming Testing and Analysis 1987 McGraw-Hill New York
24. J. C. Huang An approach to program testing ACM Comput. Surveys 7 3 113 128 Sept. 1975
25. J. C. King Symbolic execution and program testing Commun. ACM 19 7 385 394 July 1976
26. K. N. King A. J. Offutt A Fortran language system for mutation-based software testing Software Practice and Experience
27. Z. Manna Mathematical Theory of Computation 1974 McGraw-Hill New York
28. L. J. Morell A theory of error-based testing 1984 Univ. Maryland College Park
29. L. J. Morell Theoretical insights into fault-based testing Proc. 2nd Workshop on Software Testing, Verification, and Analysis 45 62 Proc. 2nd Workshop on Software Testing, Verification, and Analysis Banff Can. 1988-July
30. G. Myers The Art of Software Testing 1979 Wiley New York
31. A. J. Offutt Automatic test data generation 1988 Georgia Instit. Technol. Atlanta
32. A. J. Offutt An integrated system for automatically generating test data Proc. 1990 Conf. Systems Integration 694 701 Proc. 1990 Conf. Systems Integration Morristown NJ 1990-Apr.
33. P. Purdom C. Brown The Analysis of Algorithms 1985 Holt, Reinhart and Winston New York
34. C. V. Ramamoorthy S. F. Ho W. T. Chen On the automated generation of program test data IEEE Trans. Software Eng. SE-2 293 300 Dec. 1976
35. D. J. Richardson M. C. Thompson The relay model for error detection and its application Proc. 2nd Workshop on Software Testing, Verification, and Analysis 223 230 Proc. 2nd Workshop on Software Testing, Verification, and Analysis Banff Can. 1988-July
36. L. J. White E. I. Cohen A domain strategy for computer program testing IEEE Trans. Software Eng. SE-6 247 257 May 1980