A semantic model of program faults

Proceedings of the 1996 ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 1996

Volumn , Issue , 1996, Pages 195-200

  Offutt, A Jefferson ^a,c   Hayes, J Huffman ^b,d  

^a GEORGE MASON UNIVERSITY   (United States)

^b SCIENCE APPLICATIONS INTERNATIONAL CORPORATION   (United States)

^c ISSE Department   (United States)

^d 1213 Jefferson Davis Highway ^*  (United States)

Author keywords

[No Author keywords available]

Indexed keywords

SEMANTICS; SYNTACTICS;

COMPARATIVE EVALUATIONS; FAULT-BASED TESTING; MUTATION TESTING; NATURE OF FAULTS; SEMANTIC CHARACTERIZATIONS; SEMANTIC MODEL; TESTABILITY; TESTING STRATEGIES;

SOFTWARE TESTING;

EID: 85011032411     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/229000.226317     Document Type: Conference Paper

References (18)

1. IEEE Standard Glossary of Software Engineering Terminology. ANSI/IEEE Std 729-1983, 1983.
2. T. A. Budd and D. Angluin. Two notions of correctness and their relation to testing. Acta Informatica, 18(1):31-45, November 1982.
3. R. A. DeMillo, D. S. Guindi, K. N. King, W. M. Mc-Gracken, and A. J. Offutt. An extended overview of the Mothra software testing environment. In Proceedings of the Second Workshop on Software Testing, Verification, and Analysis, pages 142-151, Banff Alberta, July 1988. IEEE Computer Society Press.
4. R. A. DeMillo, R. J. Lipton, and F. G. Sayward. Hints on test data selection: Help for the practicing programmer. IEEE Computer, 11(4):34-41, April 1978.
5. T. Goradia. Dynamic impact analysis: A cost-effective technique to enforce error-propagation. In Proceedings of the 1993 International Symposium on Software Testing, and Analysis, pages 171-181, Cambridge MA, June 1993.
6. D. Hamlet. Theoretical comparisons of testing methods. In Proceedings of the Third Symposium on Software Testing, Analysis, and Verification, pages 28-37, Key West Florida, December 1989. ACM SIGSOFT 89.
7. R. G. Hamlet. Testing programs with the aid of a compiler. IEEE Transactions on Software Engineering, 3(4), July 1977.
8. J. Knight and P. Ammann. An experimental evaluation of simple methods for seeding program errors. In Proceedings of the Eighth International Conference on Software Engineering, pages 337-342, London UK, August 1985. IEEE Computer Society.
9. S. Meyers. Effective C++: 50 Specific Ways to Improve Your Programs and Designs. Addison-Wesley Publishing Company Inc., 1992.
10. H. D. Mills. On the statistical validation of computer programs. Technical report FSC 72-6015, IBM, 1972.
11. L. J. Morell. A theory of fault-based testing. 1EEE Transactions on Software Engineering, 16(8):844-857, August 1990.
12. A. J. Offutt. Investigations of the software testing coupiing effect. ACM Transactions on Software Engineering Methodology, 1(1):3-18, January 1992.
13. A. J. Offutt and A. Irvine. Testing object-oriented software using the category-partition method. In Seventeenth International Conference on Technology of Object-Oriented Languages and Systems (TOOLS USA '95), Santa Barbara, CA, August 1995.
14. A. J. Offutt, A. Lee, G. Rothermel, R. Untch, and C. Zapf. An experimental determination of sufficient mutation operators. Technical report ISSE-TR-94-100, Department of Information and Software Systems Engineering, George Mason University, Fairfax VA, 1994. Under revision.
15. A. J. Offutt, G. Rothermel, and C. Zapf. An experimental evaluation of selective mutation. In Proceedings of the Fifteenth International Conference on Software Engineering, pages 100-107, Baltimore, MD, May 1993. IEEE Computer Society Press.
16. K. Tewaxy and M. J. Harrold. Fault modeling using the program dependence graph. In Proceedings of the Fifth International Symposium on Software Reliability Engineering, pages 126-135, Monterey CA, November 1994.
17. J. M. Voas, L. Morell, and K. W. Miller. Predicting where faults can hide from testing. IEEE Software, 8(2), March 1991.
18. K. S. H. T. Wah. Fault coupling in finite bijective functions. The Journal of Software Testing, Verification, and Reliability, 5(1):3-47, March 1