| 761 | Kuo{-}Chung Tai
Predicate-Based Test Generation for Computer Programs
Proceedings of the 15th International Conference on Software Engineering, Baltimore, Maryland, USA, May 17-21, 1993., 1993. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{Tai93,
author = {Kuo{-}Chung Tai},
title = {Predicate-Based Test Generation for Computer Programs},
booktitle = {Proceedings of the 15th International Conference on Software Engineering, Baltimore, Maryland, USA, May 17-21, 1993.},
year = {1993},
address = {},
month = {},
pages = {267--276}
} |
| 762 | Marcio Eduardo Delamaro
{P}roteum - {A} {M}utation {A}nalysis {B}ased {T}esting {E}nvironmen
University of S\~ao Paulo, Sao Paulo, Brazil, 1993.Unknown- |
|
| | Abstract: Available soon... |
| | @PHDTHESIS{Delamaro93,
author = {Marcio Eduardo Delamaro},
title = {{P}roteum - {A} {M}utation {A}nalysis {B}ased {T}esting {E}nvironmen},
school = {University of S\~ao Paulo},
year = {1993},
type = {phdthesis},
address = {Sao Paulo, Brazil},
month = {},
} |
| 763 | Byoungju Choi and Aditya P. Mathur
High-performance Mutation Testing
Journal of Systems and Software, 20(2), February 1993. |
|
| | Abstract: Testing a large software program is a time consuming operation. In addition to the time spent by the tester in identifying, locating, and correcting bugs, a significant amount of time is spent in the execution of the program under test and its instrumented or fault-induced variants, also known as mutants. When using mutation testing to achieve high reliability, there can be many such mutants. In this article, we show how a multiple instruction multiple data (MIMD) architecture can be exploited to obtain significant reductions in the total execution time of the mutants. We describe the architecture of the PM othra system, which is designed to provide the tester with a transparent interface to a parallel machine. Experimental results obtained on the Ncube/7 hypercube are presented. The near-linear speedups show the perfect match that exists between the software testing application and a local memory MIMD architecture typified by the Ncube/7 machine. The compilation bottleneck, which could have an adverse effect on the speedup, is illustrated by experimental results. |
| | @ARTICLE{ChoiM93,
author = {Byoungju Choi and Aditya P. Mathur},
title = {High-performance Mutation Testing},
journal = {Journal of Systems and Software},
year = {1993},
month = {February},
volume = {20},
number = {2},
pages = {135-152}
} |
| 764 | A. Jefferson Offutt and Gregg Rothermel and Christian Zapf
An Experimental Evaluation of Selective Mutation
Proceedings of the 15th International Conference on Software Engineering (ICSE'93)Baltimore, Maryland, May 1993. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{OffuttRZ93,
author = {A. Jefferson Offutt and Gregg Rothermel and Christian Zapf},
title = {An Experimental Evaluation of Selective Mutation},
booktitle = {Proceedings of the 15th International Conference on Software Engineering (ICSE'93)},
year = {1993},
address = {Baltimore, Maryland},
month = {May},
pages = {100-107}
} |
| 765 | Richard H. Carver
Mutation-Based Testing of Concurrent Programs
Proceedings of the IEEE International Test Conference on Designing, Testing, and DiagnosticsBaltimore, Maryland, 17-21 October 1993. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{Carver93,
author = {Richard H. Carver},
title = {Mutation-Based Testing of Concurrent Programs},
booktitle = {Proceedings of the IEEE International Test Conference on Designing, Testing, and Diagnostics},
year = {1993},
address = {Baltimore, Maryland},
month = {17-21 October},
pages = {845-853}
} |
| 766 | Roland H. Untch and A. Jefferson Offutt and Mary Jean Harrold
Mutation Analysis Using Mutant Schemata
Proceedings of the International Symposium on Software Testing and Analysis (ISSTA'93)Cambridge, Massachusetts, 1993. |
|
| | Abstract: Mutation analysis is a powerful technique for assessing and improving the quality of test data used to unit test software. Unfortunately, current automated mutation analysis systems suffer from severe performance problems. This paper presents a new method for performing mutation analysis that uses program schemata to encode all mutants for a program into one metaprogram, which is subsequently compiled and run at speeds substantially higher than achieved by previous interpretive systems. Preliminary performance improvements of over 300% are reported. This method has the additional advantages of being easier to implement than interpretive systems, being simpler to port across a wide range of hardware and software platforms, and using the same compiler and run-time support system that is used during development and/or deployment. |
| | @INPROCEEDINGS{UntchOH93,
author = {Roland H. Untch and A. Jefferson Offutt and Mary Jean Harrold},
title = {Mutation Analysis Using Mutant Schemata},
booktitle = {Proceedings of the International Symposium on Software Testing and Analysis (ISSTA'93)},
year = {1993},
address = {Cambridge, Massachusetts},
month = {},
pages = {139-148}
} |
| 767 | Phyllis G. Frankl and Elaine J. Weyuker
Provable Improvements on Branch Testing
IEEE Transactions of Software Engineering, 19(10), October 1993. |
|
| | Abstract: This paper compares the fault-detecting ability of several software test data adequacy criteria. It has previously been shown that if C/sub 1/ properly covers C/sub 2/, then C/sub 1/ is guaranteed to be better at detecting faults than C/sub 2/, in the following sense: a test suite selected by independent random selection of one test case from each subdomain induced by C/sub 1/ is at least as likely to detect a fault as a test suite similarly selected using C/sub 2/. In contrast, if C/sub 1/ subsumes but does not properly cover C/sub 2/, this is not necessarily the case. These results are used to compare a number of criteria, including several that have been proposed as stronger alternatives to branch testing. We compare the relative fault-detecting ability of data flow testing, mutation testing, and the condition-coverage techniques, to branch testing, showing that most of the criteria examined are guaranteed to be better than branch testing according to two probabilistic measures. We also show that there are criteria that can sometimes be poorer at detecting faults than substantially less expensive criteria. |
| | @ARTICLE{FranklW93a,
author = {Phyllis G. Frankl and Elaine J. Weyuker},
title = {Provable Improvements on Branch Testing},
journal = {IEEE Transactions of Software Engineering},
year = {1993},
month = {October},
volume = {19},
number = {10},
pages = {962-971}
} |
| 768 | Roland H. Untch and A. Jefferson Offutt and Mary Jean Harrold
Mutation Analysis Using Mutant Schemata
Proceedings of the 1993 International Symposium on Software Testing and Analysis, {ISSTA} 1993, Cambridge, MA, USA, June 28-30, 1993, 1993. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{UntchOH93,
author = {Roland H. Untch and A. Jefferson Offutt and Mary Jean Harrold},
title = {Mutation Analysis Using Mutant Schemata},
booktitle = {Proceedings of the 1993 International Symposium on Software Testing and Analysis, {ISSTA} 1993, Cambridge, MA, USA, June 28-30, 1993},
year = {1993},
address = {},
month = {},
pages = {139--148}
} |
| 769 | Phyllis G. Frankl and E.J. Weyuker
A Formal Analysis of the Fault-Detecting Ability of Testing Methods
IEEE Transactions on Software Engineering, 19(3), March 1993. |
|
| | Abstract: Several relationships between software testing criteria, each induced by a relation between the corresponding multisets of subdomains, are examined. The authors discuss whether for each relation R and each pair of criteria, C/sub 1/ and C/sub 2/, R(C/sub 1/, C/sub 2/) guarantees that C/sub 1/ is better at detecting faults than C/sub 2/ according to various probabilistic measures of fault-detecting ability. It is shown that the fact that C/sub 1/ subsumes C/sub 2/ does not guarantee that C/sub 1/ is better at detecting faults. Relations that strengthen the subsumption relation and that have more bearing on fault-detecting ability are introduced. |
| | @ARTICLE{FranklW93,
author = {Phyllis G. Frankl and E.J. Weyuker},
title = {A Formal Analysis of the Fault-Detecting Ability of Testing Methods},
journal = {IEEE Transactions on Software Engineering},
year = {1993},
month = {March},
volume = {19},
number = {3},
pages = {202-213}
} |
| 770 | Marcio Eduardo Delamaro
Proteum - A Mutation Analysis Based Testing Environmen
University of S\~ao Paulo, Sao Paulo, Brazil, 1993.Unknown- |
|
| | Abstract: Available soon... |
| | @PHDTHESIS{Delamaro93,
author = {Marcio Eduardo Delamaro},
title = {Proteum - A Mutation Analysis Based Testing Environmen},
school = {University of S\~ao Paulo},
year = {1993},
type = {phdthesis},
address = {Sao Paulo, Brazil},
month = {},
} |
| 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}
} |
