| 801 | Eugene H. Spafford
Extending Mutation Testing to Find Environmental Bugs
Software:Practice and Experience, 20(2), February 1990. |
|
| | Abstract: Environmental bugs are bugs caused by limitations of precision or capacity in the environment of a piece of software. These bugs may be difficult to activate and even more difficult to find.
This paper reports on an extension to traditional mutation testing that enables testing specifically for environmental bugs involving integer arithmetic. This method is both simple and effective, and provides some insight into other possible extensions of the mutation-testing methodology that can be used to expose environmental bugs. |
| | @ARTICLE{Spafford90,
author = {Eugene H. Spafford},
title = {Extending Mutation Testing to Find Environmental Bugs},
journal = {Software:Practice and Experience},
year = {1990},
month = {February},
volume = {20},
number = {2},
pages = {181-189}
} |
| 802 | J. R. Horgan and Aditya P. Mathur
Weak Mutation is Probably Strong Mutation
Purdue UniversitySERC-TR-83-P, West Lafayette, Indiana, 1990. |
|
| | Abstract: Available soon... |
| | @TECHREPORT{HorganM90,
author = {J. R. Horgan and Aditya P. Mathur},
title = {Weak Mutation is Probably Strong Mutation},
institution = {Purdue University},
year = {1990},
type = {techreport},
number = {SERC-TR-83-P},
address = {West Lafayette, Indiana},
month = {},
} |
| 803 | Martin R. Woodward
Mutation Testing-An Evolving Technique
Proceedings of the IEE Colloquium on Software Testing for Critical SystemsLondon, UK, 19 June 1990. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{Woodward90,
author = {Martin R. Woodward},
title = {Mutation Testing-An Evolving Technique},
booktitle = {Proceedings of the IEE Colloquium on Software Testing for Critical Systems},
year = {1990},
address = {London, UK},
month = {19 June},
pages = {3/1-3/6}
} |
| 804 | Martin R. Woodward
OBJTEST: an Experimental Testing Tool for Algebraic Specifications
Proceedings of the IEE Colloquium on Automating Formal Methods for Computer Assisted Prototying, 14 Jan 1990. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{Woodward90a,
author = {Martin R. Woodward},
title = {OBJTEST: an Experimental Testing Tool for Algebraic Specifications},
booktitle = {Proceedings of the IEE Colloquium on Automating Formal Methods for Computer Assisted Prototying},
year = {1990},
address = {},
month = {14 Jan},
pages = {2}
} |
| 805 | I. M. M. Duncan and D. J. Robson
Ordered Mutation Testing
ACM SIGSOFT Software Engineering Notes, 15(2), April 1990. |
|
| | Abstract: Mutation Analysis is an established technique for test data generation and source code testing. Developed systems have concentrated on applying some or all of the possible mutant operators (perturbations) to the submitted code. Recent work tackled the scheduling of mutant program execution on vector processors or a Hypercube as a cost reduction scheme. This paper discusses a logical mechanism of impact driven testing in order to acheive full mutation testing with reduced overheads regardless of implementation. Guiding the mutant generation by block impact together with mutant operator heirarchies and a test data coverage scheme enable an efficient tool to be constructed. |
| | @ARTICLE{DuncanR90,
author = {I. M. M. Duncan and D. J. Robson},
title = {Ordered Mutation Testing},
journal = {ACM SIGSOFT Software Engineering Notes},
year = {1990},
month = {April},
volume = {15},
number = {2},
pages = {29-30}
} |
| 806 | W. Michael Craft
Detecting Equivalent Mutants Using Compiler Optimization Techniques
Clemson University, Clemson, South Carolina, 1989. |
|
| | Abstract: Available soon... |
| | @MASTERSTHESIS{Craft89,
author = {W. Michael Craft},
title = {Detecting Equivalent Mutants Using Compiler Optimization Techniques},
school = {Clemson University},
year = {1989},
type = {mastersthesis},
address = {Clemson, South Carolina},
month = {September},
} |
| 807 | Hiralal Agrawal and Richard A. DeMillo and Bob Hathaway and William Hsu and Wynne Hsu and E. W. Krauser and R. J. Martin and Aditya P. Mathur and Eugene Spafford
Design of Mutant Operators for the C Programming Language
Purdue UniversitySERC-TR-41-P, West Lafayette, Indiana, 1989. |
|
| | Abstract: Mutation analysis is a method for reliable testing of large software systems. It provides a method for assessing the adequacy of test data. Mothra [DeMi87] is a mutation analysis based software testing environment that currently supports the testing of Fortran 77 programs. Work is underway to enhance thsi tool along several dimension. One of these is the addition of multilingual capability. C is one of the languages that we plan to support. This report describes the mutant operators designed for the proposed ANSI C programming language. Mutant operators are categorized using syntactic criteria. Such a classification is expected to be useful for an implementor of mutation based testing system. Another classification, useful for the tester, is based on the nature of tests that can be conducted using mutation analysis. This classification exposes the gen erality and completeness of mutation based testing. Each mutant operator s introduced with illustrative examples. The rationale supporting each operator is also provided. An appendix provides a cross-reference of all mutant operators for ease of referencing. The design described here is a result of long deliberations amongst authors of this report in, which several aspects of the C language and program development in C were examined. We intend this report to srve as a manual for thew C mutant operators fir researchers in software testing. |
| | @TECHREPORT{AgrawalDHHHKMMS89,
author = {Hiralal Agrawal and Richard A. DeMillo and Bob Hathaway and William Hsu and Wynne Hsu and E. W. Krauser and R. J. Martin and Aditya P. Mathur and Eugene Spafford},
title = {Design of Mutant Operators for the C Programming Language},
institution = {Purdue University},
year = {1989},
type = {techreport},
number = {SERC-TR-41-P},
address = {West Lafayette, Indiana},
month = {March},
} |
| 808 | Richard A. DeMillo
Test Adequacy and Program Mutation
Proceedings of the 11th International Conference on Software Engineering (ICSE'89)Pittsburgh, Pennsylvania, 15-18 May 1989. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{DeMillo89,
author = {Richard A. DeMillo},
title = {Test Adequacy and Program Mutation},
booktitle = {Proceedings of the 11th International Conference on Software Engineering (ICSE'89)},
year = {1989},
address = {Pittsburgh, Pennsylvania},
month = {15-18 May},
pages = {355-356}
} |
| 809 | William E. Howden
Error-based Validation Completeness
Proceedings of the 11th International Conference on Software Engineering (ICSE'89)Pittsburgh, Pennsylvania, 15-18 May 1989. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{Howden89,
author = {William E. Howden},
title = {Error-based Validation Completeness},
booktitle = {Proceedings of the 11th International Conference on Software Engineering (ICSE'89)},
year = {1989},
address = {Pittsburgh, Pennsylvania},
month = {15-18 May},
pages = {357-357}
} |
| 810 | Steven J. Zeil
Perturbation Techniques for Detection Domain Error
IEEE Transactions of Software Engineering, 15(6), June 1989. |
|
| | Abstract: Perturbation testing is an approach to software testing which focuses on faults withinarithmetic expressions appearing throughout a program. This approach is expanded to permit analysis of individual test points rather than entire paths, and to concentrate on domain errors. Faults are modeled as perturbing functions drawn from a vector space of potential faults and added to the correct form of an arithmetic expression. Sensitivity measures are derived which limit the possible size of those faults that would go undetected after the execution of a given test set. These measures open up an interesting view of testing, in which attempts are made to reduce the volume of possible faults which, were they present in the program being tested, would have escaped detection on all tests performed so far. The combination of these measures with standard optimization techniques yields a novel test-data-generation method called arithmetic fault detection. |
| | @ARTICLE{Zeil89,
author = {Steven J. Zeil},
title = {Perturbation Techniques for Detection Domain Error},
journal = {IEEE Transactions of Software Engineering},
year = {1989},
month = {June},
volume = {15},
number = {6},
pages = {737-746}
} |
| 811 | H. Agrawal and R. A. DeMillo and B. Hathaway and W. Hsu, W. Hsu and E. W. Krauser and R. J. Martin and A. P. Mathur and E. Spafford
Design of Mutant Operators for the C Programming Language
Purdue University, , 1989. |
|
| | Abstract: Available soon... |
| | @TECHREPORT{agrwal_TR_89,
author = {H. Agrawal and R. A. DeMillo and B. Hathaway and W. Hsu, W. Hsu and E. W. Krauser and R. J. Martin and A. P. Mathur and E. Spafford},
title = {Design of Mutant Operators for the C Programming Language},
institution = {Purdue University},
year = {1989},
type = {techreport},
number = {},
address = {},
month = {March},
} |
| 812 | Richard A. DeMillo
Test Adequacy and Program Mutation
Proceedings of the 11th International Conference on Software Engineering, Pittsburg, PA, USA, May 15-18, 1989., 1989. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{DeMillo01,
author = {Richard A. DeMillo},
title = {Test Adequacy and Program Mutation},
booktitle = {Proceedings of the 11th International Conference on Software Engineering, Pittsburg, PA, USA, May 15-18, 1989.},
year = {1989},
address = {},
month = {},
pages = {355--356}
} |
| 813 | B. J. Choi, Richard A. DeMillo and E. W. Krauser and R. J. Martin and A. P. Mathur and A. Jefferson Offutt and H. Pan and E. H. Spafford
The Mothra Tool Set
Proceedings of the 22nd Annual Hawaii International Conference on System Sciences (HICSS'22), 3-6 January 1989. |
|
| | Abstract: Mothra is a software test environment that supports mutation-based testing of software systems. Mutation analysis is a powerful software testing technique that evaluates the adequacy of test data based on its ability to differentiate between the program under test and its mutants, where mutants are constructed by inserting single, simple errors into the program under test. This evaluation process also provides guidance in the creation of new test cases to provide more adequate testing. Mothra consists of a collection of individual tools, each of which implements a separate, independent function for the testing system. The initial Mothra tool set, for the most part, duplicates functionality existing in previous mutation analysis systems. Current efforts are concentrated on extending this basic tool set to include capabilities previously unavailable to the software testing community. The authors describe Mothra tool set and extensions planned for the future. |
| | @INPROCEEDINGS{ChoiDKMMOPS89,
author = {B. J. Choi, Richard A. DeMillo and E. W. Krauser and R. J. Martin and A. P. Mathur and A. Jefferson Offutt and H. Pan and E. H. Spafford},
title = {The Mothra Tool Set},
booktitle = {Proceedings of the 22nd Annual Hawaii International Conference on System Sciences (HICSS'22)},
year = {1989},
address = {},
month = {3-6 January},
pages = {275-284}
} |
| 814 | A. Jefferson Offutt
The Coupling Effect: Fact or Fiction
ACM SIGSOFT Software Engineering Notes, 14(8), December 1989. |
|
| | Abstract: Fault-based testing strategies test software by focusing on specific, common types of errors. The coupling effect states that test data sets that detect simple types of faults are sensitive enough to detect more complex types of faults. This paper describes empirical investigations into the coupling effect over a specific domain of software faults. All the results from this investigation support the validity of the coupling effect. The major conclusion from this investigation is that by explicitly testing for simple faults, we are also implicitly testing for more complicated faults. This gives us confidence that fault-based testing is an effective means of testing software. |
| | @ARTICLE{Offutt89,
author = {A. Jefferson Offutt},
title = {The Coupling Effect: Fact or Fiction},
journal = {ACM SIGSOFT Software Engineering Notes},
year = {1989},
month = {December},
volume = {14},
number = {8},
pages = {131-140}
} |
| 815 | Larry Joe Morell
Theoretical Insights Into Fault-Based Testing
Proceedings of the 2nd Workshop on Software Testing, Verification, and Analysis (TVA'88)Banff Alberta, Canada, July 1988. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{Morell88,
author = {Larry Joe Morell},
title = {Theoretical Insights Into Fault-Based Testing},
booktitle = {Proceedings of the 2nd Workshop on Software Testing, Verification, and Analysis (TVA'88)},
year = {1988},
address = {Banff Alberta, Canada},
month = {July},
pages = {45-62}
} |
| 816 | Edward William Krauser and Aditya P. Mathur and Vernon Joseph Rego
High Performance Software Testing on SIMD Machines
Proceedings of the 2nd Workshop on Software Testing, Verification, and Analysis (TVA'88)Banff Alberta, July 1988. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{KrauserMR88,
author = {Edward William Krauser and Aditya P. Mathur and Vernon Joseph Rego},
title = {High Performance Software Testing on SIMD Machines},
booktitle = {Proceedings of the 2nd Workshop on Software Testing, Verification, and Analysis (TVA'88)},
year = {1988},
address = {Banff Alberta},
month = {July},
pages = {171 - 177}
} |
| 817 | John H. Bowser
Reference Manual for Ada Mutant Operators
Georiga Institute of TechnologyGIT-SERC-88/02, Atlanta, Georgia, 1988. |
|
| | Abstract: Available soon... |
| | @TECHREPORT{Bowser88,
author = {John H. Bowser},
title = {Reference Manual for Ada Mutant Operators},
institution = {Georiga Institute of Technology},
year = {1988},
type = {techreport},
number = {GIT-SERC-88/02},
address = {Atlanta, Georgia},
month = {},
} |
| 818 | Richard A. DeMillo and D. S. Guindi and K. N. King and W. M. McCracken and A. Jefferson Offutt
An Extended Overview of the Mothra Software Testing Environment
Proceedings of the 2nd Workshop on Software Testing, Verification, and Analysis (TVA'88)Banff Alberta,Canada, July 1988. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{DeMilloGMOK88,
author = {Richard A. DeMillo and D. S. Guindi and K. N. King and W. M. McCracken and A. Jefferson Offutt},
title = {An Extended Overview of the Mothra Software Testing Environment},
booktitle = {Proceedings of the 2nd Workshop on Software Testing, Verification, and Analysis (TVA'88)},
year = {1988},
address = {Banff Alberta,Canada},
month = {July},
pages = {142-151}
} |
| 819 | D. Wu and M. A. Hennell and D. Hedley and I. J. Riddell
A Practical Method for Software Quality Control via Program Mutation
Proceedings of the 2nd Workshop on Software Testing, Verification, and Analysis (TVA'88)Banff, Alberta, Canada, July 1988. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{WuHHR88,
author = {D. Wu and M. A. Hennell and D. Hedley and I. J. Riddell},
title = {A Practical Method for Software Quality Control via Program Mutation},
booktitle = {Proceedings of the 2nd Workshop on Software Testing, Verification, and Analysis (TVA'88)},
year = {1988},
address = {Banff, Alberta, Canada},
month = {July},
pages = {159-170}
} |
| 820 | Martin R. Woodward and K. Halewood
From Weak to Strong, Dead or Alive? an Analysis of Some Mutationtesting Issues
Proceedings of the 2nd Workshop on Software Testing, Verification, and Analysis (TVA'88)Banff Albert, Canada, July 1988. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{WoodwardH88,
author = {Martin R. Woodward and K. Halewood},
title = {From Weak to Strong, Dead or Alive? an Analysis of Some Mutationtesting Issues},
booktitle = {Proceedings of the 2nd Workshop on Software Testing, Verification, and Analysis (TVA'88)},
year = {1988},
address = {Banff Albert, Canada},
month = {July},
pages = {152-158}
} |
