| 831 | Steven Joseph Zeil
Testing for Perturbations of Program Statements
IEEE Transactions on Software Engineering, 9(3), May 1983. |
|
| | Abstract: Many testing methods require the selection of a set of paths on which tests are to be conducted. Errors in arithmetic expressions within program statements can be represented as perturbing functions added to the correct expression. It is then possible to derive the set of errors in a chosen functional class which cannot possibly be detected using a given test path. For example, test paths which pass through an assignment statement "X := f(Y)" are incapable of revealing if the expression "X -f( Y)" has been added to later statements. In general, there are an infinite number of such undetectable error perturbations for any test path. However, when the chosen functional class of error expressions is a vector space, a finite characterization of all undetectable expressions can be found for one test path, or for combined testing along several paths. An analysis of the undetected perturbations for sequential programs operating on integers and real numbers is presented which permits the detection of multinomial error terms. The reduction of the space of (potential undetected errors is proposed as a criterion for test path selection. |
| | @ARTICLE{Zeil83,
author = {Steven Joseph Zeil},
title = {Testing for Perturbations of Program Statements},
journal = {IEEE Transactions on Software Engineering},
year = {1983},
month = {May},
volume = {9},
number = {3},
pages = {335-346}
} |
| 832 | R. A. DeMillo
Program Mutation: An Approach to Software Testing
Georgia Institute of Technology, , 1983. |
|
| | Abstract: Available soon... |
| | @TECHREPORT{DeMillo83,
author = {R. A. DeMillo},
title = {Program Mutation: An Approach to Software Testing},
institution = {Georgia Institute of Technology},
year = {1983},
type = {techreport},
number = {},
address = {},
month = {},
} |
| 833 | Timothy Alan Budd and Dana Angluin
Two Notions of Correctness and Their Relation to Testing
Acta Informatica, 18(1), March 1982. |
|
| | Abstract: We consider two interpretations for what it means for test data to demonstrate correctness. For each interpretation, we examine under what conditions data sufficient to demonstrate correctness exists, and whether it can be automatically detected and/or generated. We establish the relation between these questions and the problem of deciding equivalence of two programs. |
| | @ARTICLE{BuddA82,
author = {Timothy Alan Budd and Dana Angluin},
title = {Two Notions of Correctness and Their Relation to Testing},
journal = {Acta Informatica},
year = {1982},
month = {March},
volume = {18},
number = {1},
pages = {31-45}
} |
| 834 | William E. Howden
Weak Mutation Testing and Completeness of Test Sets
IEEE Transactions on Software Engineering, 8(4), July 1982. |
|
| | Abstract: Different approaches to the generation of test data are described. Error-based approaches depend on the definition of classes of commonly occurring program errors. They generate tests which are specifically designed to determine if particular classes of errors occur in a program. An error-based method called weak mutation testing is described. In this method, tests are constructed which are guaranteed to force program statements which contain certain classes of errors to act incorrectly during the execution of the program over those tests. The method is systematic, and a tool can be built to help the user apply the method. It is extensible in the sense that it can be extended to cover additional classes of errors. Its relationship to other software testing methods is discussed. Examples are included. |
| | @ARTICLE{Howden82,
author = {William E. Howden},
title = {Weak Mutation Testing and Completeness of Test Sets},
journal = {IEEE Transactions on Software Engineering},
year = {1982},
month = {July},
volume = {8},
number = {4},
pages = {371-379}
} |
| 835 | William E. Howden
Weak Mutation Testing and Completeness of Test Sets
{IEEE} Trans. Software Eng., 8(4), 1982. |
|
| | Abstract: Available soon... |
| | @ARTICLE{Howden82,
author = {William E. Howden},
title = {Weak Mutation Testing and Completeness of Test Sets},
journal = {{IEEE} Trans. Software Eng.},
year = {1982},
month = {},
volume = {8},
number = {4},
pages = {371--379}
} |
| 836 | A. Tanaka
Equivalence Testing for Fortran Mutation System Using Data Fow Analysis
Georgia Institute of Technology, Atlanta, Georgia, 1981.Unknown- |
|
| | Abstract: Available soon... |
| | @PHDTHESIS{Tanaka81,
author = {A. Tanaka},
title = {Equivalence Testing for Fortran Mutation System Using Data Fow Analysis},
school = {Georgia Institute of Technology},
year = {1981},
type = {phdthesis},
address = {Atlanta, Georgia},
month = {},
} |
| 837 | Timothy Alan Budd
Mutation Analysis of Program Test Data
Yale University, New Haven, Connecticut, 1980.Unknown- |
|
| | Abstract: Available soon... |
| | @PHDTHESIS{Budd80,
author = {Timothy Alan Budd},
title = {Mutation Analysis of Program Test Data},
school = {Yale University},
year = {1980},
type = {phdthesis},
address = {New Haven, Connecticut},
month = {},
} |
| 838 | Timothy Alan Budd and R. Hess and Frederick Gerald Sayward
EXPER Implementor's Guide
Yale University, New Haven, Connecticut, 1980. |
|
| | Abstract: Available soon... |
| | @TECHREPORT{BuddHS80,
author = {Timothy Alan Budd and R. Hess and Frederick Gerald Sayward},
title = {EXPER Implementor's Guide},
institution = {Yale University},
year = {1980},
type = {techreport},
number = {},
address = {New Haven, Connecticut},
month = {},
} |
| 839 | Timothy Alan Budd and Richard A. DeMillo and Richard J. Lipton and Frederick Gerald Sayward
Theoretical and Empirical Studies on Using Program Mutation to Test the Functional Correctness of Programs
Proceedings of the 7th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'80)Las Vegas, Nevada, 28-30 January 1980. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{BuddDLS80,
author = {Timothy Alan Budd and Richard A. DeMillo and Richard J. Lipton and Frederick Gerald Sayward},
title = {Theoretical and Empirical Studies on Using Program Mutation to Test the Functional Correctness of Programs},
booktitle = {Proceedings of the 7th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'80)},
year = {1980},
address = {Las Vegas, Nevada},
month = {28-30 January},
pages = {220-233}
} |
| 840 | Jeanne Marie Hanks
Testing Cobol Programs by Mutation
Georgia Institute of Technology, Atlanta, Georgia, 1980.Unknown- |
|
| | Abstract: Available soon... |
| | @PHDTHESIS{Hanks80,
author = {Jeanne Marie Hanks},
title = {Testing Cobol Programs by Mutation},
school = {Georgia Institute of Technology},
year = {1980},
type = {phdthesis},
address = {Atlanta, Georgia},
month = {},
} |
