On the effectiveness of mutation analysis as a black box testing technique

Proceedings of the Australian Software Engineering Conference, ASWEC

Volumn 2001-January, Issue , 2001, Pages 12-20

  Murnane, Tafline ^a   Reed, Karl ^b  

^a TATE Associates   (Australia)

^b LA TROBE UNIVERSITY   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

APPLICATION PROGRAMS; EQUIVALENCE CLASSES; SOFTWARE ENGINEERING; SOFTWARE TESTING; SPECIFICATIONS;

BLACK BOXES; BOUNDARY-VALUE TESTING; DATA ITEMS; MUTATION ANALYSIS; MUTATION PROCESS; MUTATION TESTING; PAPER ANALYSIS; TEST CASE GENERATION;

BLACK-BOX TESTING;

EID: 2942576727     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ASWEC.2001.948492     Document Type: Conference Paper

References (20)

1. Karl Reed. Software Reliability, Testing and Security Class Lecture Notes. CSE31STM, subject of the Department of Computer Science and Computer Engineering, La Trobe University, Australia, 1998.
2. Timothy A. Budd, Ajei S. Gopal. Program Testing by Specification Mutation. Computer Language, vol. 10, no. 1, Great Britain, 1985, pp. 63-73.
3. Tafline Murnane. The Application of Mutation Techniques to Specification Testing. Honours Thesis, Department of Computer Science and Computer Engineering, La Trobe University, Australia, 1999.
4. Glenford Myers. The Art of Software Testing. Wiley-Interscience Publication, 1979.
5. Paul Jorgesen. Software Testing: A Craftsman's Approach. Department of Computer Science and Information Systems, Grand State University Allendale, Michigan and Software Paradigms, Rockford, Michigan, CRC Press 1995.
6. Allen Tucker, Robert Cupper, W. Bradley, Richard Epstein, Charles Kelemen. Fundamentals of Computing II. Abstractions, Data Structures, and Large Software Systems. McGraw-Hill Inc, 1995.
7. D. Hamlet, R. Taylor. Partition Testing Does Not Inspire Confidence. IEEE Transactions on Software Engineering, vol. 16, no. 12, December 1990, pp. 1402-1411.
8. Michael Dyer. The Cleanroom Approach to Quality Software Development. John Wiley & Sons Inc, Canada, 1992.
9. M. D. Weiser, J. D. Gannon, and P. R. McMullin. Comparison of Structural Test Coverage Metrics IEEE Software, March 1985, Pages 80-85.
10. Basili Wu and Karl Reed. A Structure Coverage Tool for ADA Software Systems. Proceedings of the Joint Ada Conference, Washington, D. C. (WADAS) March 1987.
11. A. Ofifutt, S. Liu. Generating Test Data from SOFL Specifications. Preliminary draft yet to be published, written April 1997.
12. Sandra Rapps, Elaine J Weyuker. Selecting Software Test Data Using Data Flow Information. IEEE Transactions on Software Engineering, vol. SE-11 no. 4 April 1985.
13. A. Ofifutt, J. Voas. Subsumption of Conditional Coverage Techniques by Mutation Testing. Technical Report ISSE-TR-96-01, January 1996.
14. A. Ofieutt, Stephan Lee. An Empirical Evaluation of Weak Mutation. IEEE Transactions on Software Engineering, vol. 20, no. 5, May 1994.
15. th International Symposium on Software Reliability Engineering, Proceedings Los Alamitos: IEEE Computer Society, Boca Raton, USA, pp. 210-219.
16. th IEEE International Conference on Formal Engineering Methods Brisbane Australia, December 1998, pp 46-54.
17. th Digital Avionics System Conference, St. Louis Missouri, October 1999. IEEE vol. 2, section 10.4.6, pp 1-10.
18. th Annual Software Engineering Conference, IEEE Computer Society, Grenoble, France, September 2000, pp. 81-88.
19. Karl Reed. CSE31STM Assignment Two. CSE31STM, subject of Department of Computer Science and Computer Engineering, Latrobe University, Australia 1998.
20. Karl Reed. CSE32SRT Assignment Two. CSE32SRT, subject of Department of Computer Science and Computer Engineering, Latrobe University, Australia 1998.