| 1 | Vadim Okun and Paul E. Black and Yaacov Yesha
Comparison of Fault Classes in Specification-based Testing
Information and Software Technology, 46(8), June 2004. |
|
| | Abstract: Our results extending Kuhn's fault class hierarchy provide a justification for the focus of fault-based testing strategies on detecting particular faults and ignoring others. We develop a novel analytical technique which allows us to elegantly prove that the hierarchy applies to arbitrary expressions, not just those in disjunctive normal form. We also use the technique to extend the hierarchy to a wider range of fault classes. To demonstrate broad applicability, we compare faults in practical situations and analyze previous results. In particular, using our technique, we show that the basic meaningful impact strategy of Weyuker et. al. tests for stuck-at faults, not just variable negation faults. |
| | @ARTICLE{OkunBY04,
author = {Vadim Okun and Paul E. Black and Yaacov Yesha},
title = {Comparison of Fault Classes in Specification-based Testing},
journal = {Information and Software Technology},
year = {2004},
month = {June},
volume = {46},
number = {8},
pages = {525-533}
} |
| 2 | Vadim Okun
Specification Mutation for Test Generation and Analysis
University of Maryland Baltimore County, Baltimore, Maryland, 2004.Unknown- |
|
| | Abstract: Available soon... |
| | @PHDTHESIS{Okun04,
author = {Vadim Okun},
title = {Specification Mutation for Test Generation and Analysis},
school = {University of Maryland Baltimore County},
year = {2004},
type = {phdthesis},
address = {Baltimore, Maryland},
month = {},
} |
| 3 | Paul E. Black and Vadim Okun and Yaacov Yesha
Mutation of Model Checker Specifications for Test Generation and Evaluation
Proceedings of the 1st Workshop on Mutation Analysis (MUTATION'00)San Jose, California, 6-7 October 2001. |
|
| | Abstract: Mutation analysis on model checking specifications is a recent development. This approach mutates a specification, then applies a model checker to compare the mutants with the original specification to automatically generate tests or evaluate coverage. The properties of specification mutation operators have not been explored in depth. We report our work on theoretical and empirical comparison of these operators. Our future plans include studying how the form of a specification influences the results, finding relations between different operators, and validating the method against independent metrics. |
| | @INPROCEEDINGS{BlackOY01,
author = {Paul E. Black and Vadim Okun and Yaacov Yesha},
title = {Mutation of Model Checker Specifications for Test Generation and Evaluation},
booktitle = {Proceedings of the 1st Workshop on Mutation Analysis (MUTATION'00)},
year = {2001},
address = {San Jose, California},
month = {6-7 October},
pages = {14-20}
} |
| 4 | Paul E. Black and Vadim Okun and Yaacov Yesha
Mutation Operators for Specifications
The Fifteenth {IEEE} International Conference on Automated Software Engineering, {ASE} 2000, Grenoble, France, September 11-15, 2000, 2000. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{BlackOY00,
author = {Paul E. Black and Vadim Okun and Yaacov Yesha},
title = {Mutation Operators for Specifications},
booktitle = {The Fifteenth {IEEE} International Conference on Automated Software Engineering, {ASE} 2000, Grenoble, France, September 11-15, 2000},
year = {2000},
address = {},
month = {},
pages = {81}
} |
