| 821 | Deepinder P. Sidhu and Ting Kau Leung
Fault Coverage of Protocol Test Methods
Proceedings of the 7th Annual Joint Conference of the IEEE Computer and Communcations Societies (INFOCOM'88)New Orleans, Louisiana, 27-31 March 1988. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{SidhuL88,
author = {Deepinder P. Sidhu and Ting Kau Leung},
title = {Fault Coverage of Protocol Test Methods},
booktitle = {Proceedings of the 7th Annual Joint Conference of the IEEE Computer and Communcations Societies (INFOCOM'88)},
year = {1988},
address = {New Orleans, Louisiana},
month = {27-31 March},
pages = {80-85}
} |
| 822 | Aditya P. Mathur and Edward William Krauser
Mutant Unification for Improved Vectorization
Purdue UniversitySERC-TR-14-P, West Lafayette, Indiana, 1988. |
|
| | Abstract: Available soon... |
| | @TECHREPORT{MathurK88,
author = {Aditya P. Mathur and Edward William Krauser},
title = {Mutant Unification for Improved Vectorization},
institution = {Purdue University},
year = {1988},
type = {techreport},
number = {SERC-TR-14-P},
address = {West Lafayette, Indiana},
month = {},
} |
| 823 | Andrew Jefferson Offutt
Automatic Test Data Generation
Georgia Institute of Technology, Atlanta, GA, USA, 1988.Unknown- |
|
| | Abstract: Available soon... |
| | @PHDTHESIS{Offutt88a,
author = {Andrew Jefferson Offutt},
title = {Automatic Test Data Generation},
school = {Georgia Institute of Technology},
year = {1988},
type = {phdthesis},
address = {Atlanta, GA, USA},
month = {},
} |
| 824 | A. Jefferson Offutt and K. N. King
A Fortran 77 Interpreter for Mutation Analysis
ACM SIGPLAN Notices, 22(7), July 1987. |
|
| | Abstract: Mutation analysis is a powerful technique for testing software systems. In the Mothra project, conducted at Georgia Tech's Software Engineering Research Center, mutation analysis is used as a basis for building an integrated software testing environment. Mutation analysis requires the execution of many slightly differing versions of the same program to evaluate the quality of the data used to test the program. In the current version of the Mothra system, a program to be tested is translated to intermediate code, where it and its mutated versions are executed by an interpreter.In this paper, we discuss some of the unique requirements of an interpreter used in a mutation-based testing environment. We then describe how these requirements affected the design and implementation of the Fortran 77 version of the Mothra interpreter. Other topics covered include the architecture of the interpreter and many of the design elements that it incorporates. We also describe the intermediate language used by Mothra and the features of the interpreter that are needed for software testing. |
| | @ARTICLE{OffuttK87,
author = {A. Jefferson Offutt and K. N. King},
title = {A Fortran 77 Interpreter for Mutation Analysis},
journal = {ACM SIGPLAN Notices},
year = {1987},
month = {July},
volume = {22},
number = {7},
pages = {177-188}
} |
| 825 | Richard A. DeMillo and D. S. Guindi and K. N. King and W. M. McCracken
An Overview of the Mothra Software Testing Environment
Purdue UniversitySERC-TR-3-P, West Lafayette, Indiana, 1987. |
|
| | Abstract: Available soon... |
| | @TECHREPORT{DeMilloGKM87,
author = {Richard A. DeMillo and D. S. Guindi and K. N. King and W. M. McCracken},
title = {An Overview of the Mothra Software Testing Environment},
institution = {Purdue University},
year = {1987},
type = {techreport},
number = {SERC-TR-3-P},
address = {West Lafayette, Indiana},
month = {},
} |
| 826 | Timothy Alan Budd and Ajei Sarat Gopal
Program Testing by Specification Mutation
Computer Languages, 10(1), 1985. |
|
| | Abstract: Both theoretical and empirical arguments suggest that specifications and implementations are equally important sources of information for generating test cases. Nevertheless, the majority of test generation procedures described in the literature deal only with the program source, ignoring specifications. In this paper we outline a procedure for measuring test case effectiveness using specifications given in predicate calculus form. This method is similar to the mutation analysis method of testing programs. |
| | @ARTICLE{BuddG85,
author = {Timothy Alan Budd and Ajei Sarat Gopal},
title = {Program Testing by Specification Mutation},
journal = {Computer Languages},
year = {1985},
month = {},
volume = {10},
number = {1},
pages = {63-73}
} |
| 827 | M. R. Girgis and Martin R. Woodward
An Integrated System for Program Testing Using Weak Mutation and Data Flow Analysis
Proceedings of the 8th International Conference on Software Engineering (ICSE'85)London, England, August 1985. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{GirgisW85,
author = {M. R. Girgis and Martin R. Woodward},
title = {An Integrated System for Program Testing Using Weak Mutation and Data Flow Analysis},
booktitle = {Proceedings of the 8th International Conference on Software Engineering (ICSE'85)},
year = {1985},
address = {London, England},
month = {August},
pages = {313-319}
} |
| 828 | Larry Joe Morell
A Theory of Error-Based Testing
University of Maryland at College Park, College Park, Maryland, 1984.Unknown- |
|
| | Abstract: Available soon... |
| | @PHDTHESIS{Morell84,
author = {Larry Joe Morell},
title = {A Theory of Error-Based Testing},
school = {University of Maryland at College Park},
year = {1984},
type = {phdthesis},
address = {College Park, Maryland},
month = {},
} |
| 829 | Steven Joseph Zeil
Perturbation Testing for Computation Errors
Proceedings of the 7th International Conference on Software Engineering (ICSE'84)Orlando, Florida, 26-29 March 1984. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{Zeil84,
author = {Steven Joseph Zeil},
title = {Perturbation Testing for Computation Errors},
booktitle = {Proceedings of the 7th International Conference on Software Engineering (ICSE'84)},
year = {1984},
address = {Orlando, Florida},
month = {26-29 March},
pages = {257-265}
} |
| 830 | Ajei Sarat Gopal and Timothy Alan Budd
Program Testing by Specification Mutation
University of ArizonaTR 83-17, Tucson, Arizona, 1983. |
|
| | Abstract: Available soon... |
| | @TECHREPORT{GopalB83,
author = {Ajei Sarat Gopal and Timothy Alan Budd},
title = {Program Testing by Specification Mutation},
institution = {University of Arizona},
year = {1983},
type = {techreport},
number = {TR 83-17},
address = {Tucson, Arizona},
month = {},
} |
| 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 = {},
} |
