| 771 | J. Laski and W. Szermer and P. Luczycki
Dynamic Mutation Testing in Integrated Regression Analysis
Proceedings of the 15th International Conference on Software Engineering (ICSE'93)Baltimore, Maryland, May 1993. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{LaskiSL93,
author = {J. Laski and W. Szermer and P. Luczycki},
title = {Dynamic Mutation Testing in Integrated Regression Analysis},
booktitle = {Proceedings of the 15th International Conference on Software Engineering (ICSE'93)},
year = {1993},
address = {Baltimore, Maryland},
month = {May},
pages = {108-117}
} |
| 772 | J. R. Horgan and A. P. Mathur
Experience in Using Three Testing Tools for Research and Educationin Software Engineering
Proceedings of the 2nd Symposium on Assessment of Quality Software Development ToolsNew Orleans, Louisiana, 27-29 May 1992. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{HorganM92,
author = {J. R. Horgan and A. P. Mathur},
title = {Experience in Using Three Testing Tools for Research and Educationin Software Engineering},
booktitle = {Proceedings of the 2nd Symposium on Assessment of Quality Software Development Tools},
year = {1992},
address = {New Orleans, Louisiana},
month = {27-29 May},
pages = {128-143}
} |
| 773 | Robert Geist and A. Jefferson Offutt and Frederick C. Harris Jr.
Estimation and Enhancement of Real-Time Software Reliability Through Mutation Analysis
{IEEE} Trans. Computers, 41(5), 1992. |
|
| | Abstract: Available soon... |
| | @ARTICLE{GeistOHH92,
author = {Robert Geist and A. Jefferson Offutt and Frederick C. Harris Jr.},
title = {Estimation and Enhancement of Real-Time Software Reliability Through Mutation Analysis},
journal = {{IEEE} Trans. Computers},
year = {1992},
month = {},
volume = {41},
number = {5},
pages = {550--558}
} |
| 774 | A. Jefferson Offutt and Roy P. Pargas and Scott V. Fichter and Prashant K. Khambekar
Mutation Testing of Software Using a MIMD Computer
Proceedings of the International Conference on Parallel ProcessingChicago, Illinois, August 1992. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{OffuttPFK92,
author = {A. Jefferson Offutt and Roy P. Pargas and Scott V. Fichter and Prashant K. Khambekar},
title = {Mutation Testing of Software Using a MIMD Computer},
booktitle = {Proceedings of the International Conference on Parallel Processing},
year = {1992},
address = {Chicago, Illinois},
month = {August},
pages = {255-266}
} |
| 775 | R. A. DeMillo and A. P. Mathur
On the Use of Software Artifacts to Evaluate the Effectiveness of Mutation Analysis in Detecting Errors in Production Software
Purdue UniversitySERC-TR-92-P, West Lafayette, Indiana, 1992. |
|
| | Abstract: Available soon... |
| | @TECHREPORT{DeMilloM92,
author = {R. A. DeMillo and A. P. Mathur},
title = {On the Use of Software Artifacts to Evaluate the Effectiveness of Mutation Analysis in Detecting Errors in Production Software},
institution = {Purdue University},
year = {1992},
type = {techreport},
number = {SERC-TR-92-P},
address = {West Lafayette, Indiana},
month = {},
} |
| 776 | A. Jefferson Offutt
Investigations of the Software Testing Coupling Effect
ACM Transactions on Software Engineering and Methodology, 1(1), January 1992. |
|
| | Abstract: Fault-based testing strategies test software by focusing on specific, common types of faults. The coupling effect hypothesizes 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 class of software faults. All of the results from this investigation support the validity of the coupling effect. The major conclusion from this investigation is the fact that by explicitly testing for simple faults, we are also implicitly testing for more complicated faults, giving us confidence that fault-based testing is an effective way to test software. |
| | @ARTICLE{Offutt92,
author = {A. Jefferson Offutt},
title = {Investigations of the Software Testing Coupling Effect},
journal = {ACM Transactions on Software Engineering and Methodology},
year = {1992},
month = {January},
volume = {1},
number = {1},
pages = {5-20}
} |
| 777 | A. Jefferson Offutt
Investigations of the Software Testing Coupling Effect
{ACM} Trans. Softw. Eng. Methodol., 1(1), 1992. |
|
| | Abstract: Available soon... |
| | @ARTICLE{Offutt92,
author = {A. Jefferson Offutt},
title = {Investigations of the Software Testing Coupling Effect},
journal = {{ACM} Trans. Softw. Eng. Methodol.},
year = {1992},
month = {},
volume = {1},
number = {1},
pages = {5--20}
} |
| 778 | Robert Geist and A. Jefferson Offutt and Frederick C. Harris
Estimation and Enhancement of Real-Time Software Reliability Through Mutation Analysis
IEEE Transactions on Computers, 41(5), May 1992. |
|
| | Abstract: A simulation-based method for obtaining numerical estimates of the reliability of N-version, real-time software is proposed. An extended stochastic Petri net is used to represent the synchronization structure of N versions of the software, where dependencies among versions are modeled through correlated sampling of module execution times. The distributions of execution times are derived from automatically generated test cases that are based on mutation testing. Since these test cases are designed to reveal software faults, the associated execution times and reliability estimates are likely to be conservative. Experimental results using specifications for NASA's planetary lander control software suggest that mutation-based testing could hold greater potential for enhancing reliability than the desirable but perhaps unachievable goal of independence among N versions. Nevertheless, some support for N-version enhancement of high-quality, mutation-tested code is also offered. Mutation analysis could also be valuable in the design of fault-tolerant software systems. |
| | @ARTICLE{GeistOH92,
author = {Robert Geist and A. Jefferson Offutt and Frederick C. Harris},
title = {Estimation and Enhancement of Real-Time Software Reliability Through Mutation Analysis},
journal = {IEEE Transactions on Computers},
year = {1992},
month = {May},
volume = {41},
number = {5},
pages = {550-558}
} |
| 779 | Jeffrey M. Voas
PIE: A Dynamic Failure-Based Technique
IEEE Transactions of Software Engineering, 18(8), August 1992. |
|
| | Abstract: A dynamic technique called PIE (propagation, infection, and execution) is presented for statistically estimating three program characteristics that affect a program's computational behavior: (1) the probability that a particular section of a program is executed, (2) the probability that the particular section affects the data state, and (3) the probability that a data state produced by that section has an effect on program output. These three characteristics can be used to predict whether faults are likely to be uncovered by software testing. |
| | @ARTICLE{Voas92,
author = {Jeffrey M. Voas},
title = {PIE: A Dynamic Failure-Based Technique},
journal = {IEEE Transactions of Software Engineering},
year = {1992},
month = {August},
volume = {18},
number = {8},
pages = {717-726}
} |
| 780 | Roland H. Untch
Mutation-based Software Testing Using Program Schemata
Proceedings of the 30th Annual Southeast Regional Conference (ACM-SE'92)Raleigh, North Carolina, 1992. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{Untch92,
author = {Roland H. Untch},
title = {Mutation-based Software Testing Using Program Schemata},
booktitle = {Proceedings of the 30th Annual Southeast Regional Conference (ACM-SE'92)},
year = {1992},
address = {Raleigh, North Carolina},
month = {},
pages = {285-291}
} |
