| 781 | D.I. Korchemyni
Application of Mutation Analysis to Evaluation of Program-testing Quality
Programming and Computer Software, 17(3), March 1992. |
|
| | Abstract: This article describes a method for evaluating the completeness of programming testing, mutation analysis. A mathematical model for testing and mutation analysis is considered. Primitive errors in C programs are classified. A method for reducing the time required to verify completeness is proposed. The operating principles for a system for verifying testing completeness for programs and its application are described. |
| | @ARTICLE{Korchemyni92,
author = {D.I. Korchemyni},
title = {Application of Mutation Analysis to Evaluation of Program-testing Quality},
journal = {Programming and Computer Software},
year = {1992},
month = {March},
volume = {17},
number = {3},
pages = {77-85}
} |
| 782 | Pascale Th\'evenod-Fosse and Helene Waeselynck and Yves Crouzet
An Experimental Study on Software Structural Testing: Deterministic versus Random Input Generation
Proceedings of the 25th International Symposium on Fault-Tolerant Computing (FTCS'91)Montr\'eal, Canada, 25-27 June 1991. |
|
| | Abstract: The fault revealing power of different test patterns derived from ten structural test criteria currently referred to in unit testing is investigated. Experiments performed on four programs that are pieces of a real-life software system from the nuclear field are reported. Three test input generation techniques are studied: (1) deterministic choice, (2) random selection based on an input probability distribution determined according to the adopted structural test criterion, and (3) random selection from a uniform distribution on the input domain. Mutation analysis is used to assess the test set efficiency with respect to error detection. The experimental results involve a total of 2914 mutants. They show that structural statistical testing, which exhibits the highest mutation scores, leaving alive only six from 2816 nonequivalent mutants within short testing times, is the most efficient. A regards unit testing of programs whose structure remains tractable, the experiments show the adequacy of a fault removal strategy combining statistical and deterministic test patterns |
| | @INPROCEEDINGS{ThevenodWC91,
author = {Pascale Th\'evenod-Fosse and Helene Waeselynck and Yves Crouzet},
title = {An Experimental Study on Software Structural Testing: Deterministic versus Random Input Generation},
booktitle = {Proceedings of the 25th International Symposium on Fault-Tolerant Computing (FTCS'91)},
year = {1991},
address = {Montr\'eal, Canada},
month = {25-27 June},
pages = {410-417}
} |
| 783 | Phyllis G. Frankl and Stewart N. Weiss
An Experimental Comparison of the Effectiveness of the All-Uses and All-Edges Adequacy Criteria
Symposium on Testing, Analysis, and Verification, 1991. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{FranklW91,
author = {Phyllis G. Frankl and Stewart N. Weiss},
title = {An Experimental Comparison of the Effectiveness of the All-Uses and All-Edges Adequacy Criteria},
booktitle = {Symposium on Testing, Analysis, and Verification},
year = {1991},
address = {},
month = {},
pages = {154--164}
} |
| 784 | Stephen D. Lee
Weak vs. Strong: An Empirical Comparison of Mutation Variants
Clemson University, Clemson, SC, 1991. |
|
| | Abstract: Available soon... |
| | @MASTERSTHESIS{Lee91,
author = {Stephen D. Lee},
title = {Weak vs. Strong: An Empirical Comparison of Mutation Variants},
school = {Clemson University},
year = {1991},
type = {mastersthesis},
address = {Clemson, SC},
month = {},
} |
| 785 | E. W. Krauser
Compiler-Integrated Software Testing
Purdue University, West Lafyette, 1991.Unknown- |
|
| | Abstract: Available soon... |
| | @PHDTHESIS{Krauser91,
author = {E. W. Krauser},
title = {Compiler-Integrated Software Testing},
school = {Purdue University},
year = {1991},
type = {phdthesis},
address = {West Lafyette},
month = {},
} |
| 786 | A. Jefferson Offutt and Stephen D. Lee
How Strong is Weak Mutation?
Proceedings of the 4th Symposium on Software Testing, Analysis, and Verification (TAV'91)Victoria, British Columbia, Canada, October 1991. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{OffuttL91,
author = {A. Jefferson Offutt and Stephen D. Lee},
title = {How Strong is Weak Mutation?},
booktitle = {Proceedings of the 4th Symposium on Software Testing, Analysis, and Verification (TAV'91)},
year = {1991},
address = {Victoria, British Columbia, Canada},
month = {October},
pages = {200 - 213}
} |
| 787 | B. Marick
The Weak Mutation Hypothesis
Proceedings of the 4th Symposium on Software Testing, Analysis, and Verification (TAV'91)Victoria, British Columbia, Canada, October 1991. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{Marick91,
author = {B. Marick},
title = {The Weak Mutation Hypothesis},
booktitle = {Proceedings of the 4th Symposium on Software Testing, Analysis, and Verification (TAV'91)},
year = {1991},
address = {Victoria, British Columbia, Canada},
month = {October},
pages = {190-199}
} |
| 788 | Richard A. DeMillo and A. Jefferson Offutt
Constraint-Based Automatic Test Data Generation
{IEEE} Trans. Software Eng., 17(9), 1991. |
|
| | Abstract: Available soon... |
| | @ARTICLE{DeMilloO91,
author = {Richard A. DeMillo and A. Jefferson Offutt},
title = {Constraint-Based Automatic Test Data Generation},
journal = {{IEEE} Trans. Software Eng.},
year = {1991},
month = {},
volume = {17},
number = {9},
pages = {900--910}
} |
| 789 | Aditya P. Mathur
Performance, Effectiveness, and Reliability Issues in Software Testing
Proceedings of the 5th International Computer Software and Applications Conference (COMPSAC'79)Tokyo, Japan, 11-13 September 1991. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{Mathur91,
author = {Aditya P. Mathur},
title = {Performance, Effectiveness, and Reliability Issues in Software Testing},
booktitle = {Proceedings of the 5th International Computer Software and Applications Conference (COMPSAC'79)},
year = {1991},
address = {Tokyo, Japan},
month = {11-13 September},
pages = {604-605}
} |
| 790 | Scott Fichter
Parallelizing Mutation on a Hypercube
Clemson University, Clemson, SC, 1991. |
|
| | Abstract: Available soon... |
| | @MASTERSTHESIS{Fichter91,
author = {Scott Fichter},
title = {Parallelizing Mutation on a Hypercube},
school = {Clemson University},
year = {1991},
type = {mastersthesis},
address = {Clemson, SC},
month = {},
} |
