| 751 | A. Jefferson Offutt and S.D. Lee
An Empirical Evaluation of Weak Mutation
IEEE Transactions on Software Engineering, 20(5), May 1994. |
|
| | Abstract: Mutation testing is a fault-based technique for unit-level software testing. Weak mutation was proposed as a way to reduce the expense of mutation testing. Unfortunately, weak mutation is also expected to provide a weaker test of the software than mutation testing does. This paper presents results from an implementation of weak mutation, which we used to evaluate the effectiveness versus the efficiency of weak mutation. Additionally, we examined several options in an attempt to find the most appropriate way to implement weak mutation. Our results indicate that weak mutation can be applied in a manner that is almost as effective as mutation testing, and with significant computational savings. |
| | @ARTICLE{OffuttL94,
author = {A. Jefferson Offutt and S.D. Lee},
title = {An Empirical Evaluation of Weak Mutation},
journal = {IEEE Transactions on Software Engineering},
year = {1994},
month = {May},
volume = {20},
number = {5},
pages = {337-344}
} |
| 752 | W. Eric Wong
On Mutation and Data Flow
Purdue University, West Lafayette, Indiana, 1993.Unknown- |
|
| | Abstract: Available soon... |
| | @PHDTHESIS{Wong93,
author = {W. Eric Wong},
title = {On Mutation and Data Flow},
school = {Purdue University},
year = {1993},
type = {phdthesis},
address = {West Lafayette, Indiana},
month = {},
} |
| 753 | Aditya P. Mathur and W. Eric Wong
An Empirical Comparison of Mutation and Data Flow Based Test Adequacy Criteria
Purdue University, West Lafayette, Indiana, 1993. |
|
| | Abstract: Available soon... |
| | @TECHREPORT{MathurW93,
author = {Aditya P. Mathur and W. Eric Wong},
title = {An Empirical Comparison of Mutation and Data Flow Based Test Adequacy Criteria},
institution = {Purdue University},
year = {1993},
type = {techreport},
number = {},
address = {West Lafayette, Indiana},
month = {},
} |
| 754 | Phyllis G. Frankl and Stewart N. Weiss
An Experimental Comparison of the Effectiveness of Branch Testing and Data Flow Testing
{IEEE} Trans. Software Eng., 19(8), 1993. |
|
| | Abstract: Available soon... |
| | @ARTICLE{FranklW93a,
author = {Phyllis G. Frankl and Stewart N. Weiss},
title = {An Experimental Comparison of the Effectiveness of Branch Testing and Data Flow Testing},
journal = {{IEEE} Trans. Software Eng.},
year = {1993},
month = {},
volume = {19},
number = {8},
pages = {774--787}
} |
| 755 | Stewart N. Weiss and Vladimir N. Fleyshgakker
Improved Serial Algorithms for Mutation Analysis
ACM SIGSOFT Software Engineering Notes, 18(3), July 1993. |
|
| | Abstract: Available soon... |
| | @ARTICLE{WeissF93,
author = {Stewart N. Weiss and Vladimir N. Fleyshgakker},
title = {Improved Serial Algorithms for Mutation Analysis},
journal = {ACM SIGSOFT Software Engineering Notes},
year = {1993},
month = {July},
volume = {18},
number = {3},
pages = {149-158}
} |
| 756 | Richard A. DeMillo and A. Jefferson Offutt
Experimental Results From an Automatic Test Case Generator
ACM Transactions on Software Engineering and Methodology, 2(2), April 1993. |
|
| | Abstract: Constraint-based testing is a novel way of generating test data to detect specific types of common programming faults. The conditions under which faults will be detected are encoded as mathematical systems of constraints in terms of program symbols. A set of tools, collectively called Godzilla, has been implemented that automatically generates constraint systems and solves them to create test cases for use by the Mothra testing system. Experimental results from using Godzilla show that the technique can produce test data that is very close in terms of mutation adequacy to test data that is produced manually, and at substantially reduced cost. Additionally, these experiments have suggested a new procedure for unit testing, where test cases are viewed as throw-away items rather than scarce resources. |
| | @ARTICLE{DeMilloO93,
author = {Richard A. DeMillo and A. Jefferson Offutt},
title = {Experimental Results From an Automatic Test Case Generator},
journal = {ACM Transactions on Software Engineering and Methodology},
year = {1993},
month = {April},
volume = {2},
number = {2},
pages = {109-127}
} |
| 757 | Martin R. Woodward
Mutation Testng - Its Origin and Evolution
Journal of Information and Software Technology, 35(3), March 1993. |
|
| | Abstract: Available soon... |
| | @ARTICLE{Woodward93b,
author = {Martin R. Woodward},
title = {Mutation Testng - Its Origin and Evolution},
journal = {Journal of Information and Software Technology},
year = {1993},
month = {March},
volume = {35},
number = {3},
pages = {163–169}
} |
| 758 | C. N. Zapf
A Distributed Interpreter for the Mothra Mutation Testing System
Clemson University, Clemson, South Carolina, 1993.Unknown- |
|
| | Abstract: Available soon... |
| | @PHDTHESIS{Zapf93,
author = {C. N. Zapf},
title = {A Distributed Interpreter for the Mothra Mutation Testing System},
school = {Clemson University},
year = {1993},
type = {phdthesis},
address = {Clemson, South Carolina},
month = {},
} |
| 759 | Martin R. Woodward
Errors in Algebraic Specifications and an Experimental Mutation Testing Tool
Software Engineering Journal, 8(4), July 1993. |
|
| | Abstract: There is an increasing trend towards more formality in the development of specifications of software systems in order to reduce the likelihood of errors as early as possible in the development process. The algebraic approach to specification, with its equational form, leads to the added advantage of executability via the process of term rewriting. Nevertheless, erroneous algebraic specifications can still be developed. As evidence of possible errors, the algebraic specifications produced by students have been analysed and the results are presented. The paper describes OBJTEST, a prototype testing system for algebraic specifications. The two principal facets of the system are the user-guided automatic generation of sets of test expressions from a specification, and then the use of these test expressions in mutation testing of the given specification. Some preliminary experience with the system is reported |
| | @ARTICLE{Woodward93,
author = {Martin R. Woodward},
title = {Errors in Algebraic Specifications and an Experimental Mutation Testing Tool},
journal = {Software Engineering Journal},
year = {1993},
month = {July},
volume = {8},
number = {4},
pages = {221-224}
} |
| 760 | W. Eric Wong and Aditya P. Mathur
Reducing the Cost of Mutation Testing: An Empirical Study
Purdue University, West Lafayette, Indiana, 1993. |
|
| | Abstract: Available soon... |
| | @TECHREPORT{WongM93,
author = {W. Eric Wong and Aditya P. Mathur},
title = {Reducing the Cost of Mutation Testing: An Empirical Study},
institution = {Purdue University},
year = {1993},
type = {techreport},
number = {},
address = {West Lafayette, Indiana},
month = {},
} |
