Investigations of the software testing coupling effect

ACM Transactions on Software Engineering and Methodology (TOSEM)

Volumn 1, Issue 1, 1992, Pages 5-20

  Offutt, A Jefferson ^a  

^a CLEMSON UNIVERSITY   (United States)

Author keywords

fault based testing; mutation; software testing; unit testing

Indexed keywords

EID: 84976744369     PISSN: 1049331X     EISSN: 15577392     Source Type: Journal    
DOI: 10.1145/125489.125473     Document Type: Article

References (22)

1. ACREE, A. T., BUDD, T. A., DEMILLO, R. A., LIPTON, R. J., AND SAYWARD, F. G. Mutation analysis Tech. Rep. GIT-ICS-79/08, School of Information and Computer Science, Georgia Inst. of Technology, Atlanta, Ga., Sept. 1979.
2. BUDD, T. A. Mutation analysis of program test data. Ph.D. thesis, Yale Univ., New Haven, Conn., 1980.
3. BUDD, T. A., AND ANGLUIN, D. TWO notions of correctness and their relation to testing. Acta Inf. 18, 1 (Nov. 1982), 31-45.
4. CRAFT, W. M. Detecting equivalent mutants using compiler optimization techniques. M.S. thesis, Dept. of Computer Science, Clemson Univ., Clemson, S.C, 1989.
5. DEMILLO, R. A., GUINDI, D. S., KING, K. N., MCCRACKEN, W. M., AND OFFUTT, A. J. An extended overview of the Mothra software testing environment. In Proceedings of the Second Workshop on Software Testing, Verification, and Analysis (Banff, Alberta, July 1988), IEEE Computer Society Press, pp. 142-151.
6. DEMILLO, R. A., LIPTON, R. J., AND SAYWARD, F. G. Hints on test data selection: Help for the practicing programmer. IEEE Computer 11, 4 (Apr. 1978), 34-41.
7. DEMILLO, R. A., AND OFFUTT, A. J. Constraint-based automatic test data generation. IEEE Trans. Softw. Eng. 17, 9 (Sept. 1991), 900-910.
8. GIRGIS, M. R., AND WOODWARD, M. R. An experimental comparison of the error exposing ability of program testing criteria. In Proceedings of the Workshop on Software Testing (July 1986), IEEE Computer Society Press, 64-73.
9. HOARE, C. A. R. Proof of a program: Find. Commun. ACM. 14, 1 (Jan. 1971), 39-45.
10. HOWDEN, W. E. Reliability of the path analysis testing strategy. IEEE Trans. Softw. Eng. 2, 3 (Sept 1976), 208-215
11. HOWDEN, W. E. Weak mutation testing and completeness of test sets. IEEE Trans. Softw. Eng. 8, 4 (July 1982), 371-379.
12. HOWDEN, W. E. Functional Programming Testing and Analysis. McGraw-Hill, New York, 1987.
13. KING, K. N., AND OFFUTT, A. J. A Fortran language system for mutation-based software testing. Softw. Pract. Exper. 21, 7(July 1991), 685-718.
14. LIPTON, R. J, AND SAYWARD, F. G. The status of research on program mutation. In Digest for the Workshop on Software Testing and Test Documentation (Dec. 1978), pp. 355-373.
15. MARICK, B. Two experiments in software testing. Tech. Rep. UIUCDCS-R-90-1644, Dept. of Computer Science, Univ. of Illinois at Urbana-Champaign, Nov. 1990.
16. MORELL, L. J. A theory of Error-Based testing. Ph.D. thesis, Univ. of Maryland, College Park Md., 1984. Tech. Rep. TR-1395.
17. MORELL, L. J. Theoretical insights into fault-based testing. In Proceedings of the Second Workshop on Software Testing, Verification, and Analysis (Banff, Alberta, July 1988), IEEE Computer Society Press, pp. 45-62.
18. OFFUTT, A. J. The coupling effect: Fact or fiction? In Proceedings of the Third Symposium on Software Testing, Analysis, and Verification (Key West, Fla., Dec. 1989), pp. 131-140. ACM SIGSOFT 89.
19. OFFUTT, A. J. An integrated automatic test data generation system. J. Syst. Integration 1, 3(1991), 397-409.
20. RICHARDSON, D. J., AND THOMSPON, M C. The relay model for error detection and its application. In Proceedings of the Second Workshop on Software Testing, Verification, and Analysis (Banff, Alberta, July 1988) IEEE Computer Society Press, pp. 223-230.
21. WEYUKER, E. J. Assessing test data adequacy through program inference ACM Trans. Program. Lang. Syst. 5, 4 (Oct 1983), 641-655.
22. WEYUKER, E. J., AND OSTRAND, T. J. Theories of program testing and the application of revealing subdomains. IEEE Trans. Softw. Eng. 6, 3 (May 1980), 236-246