| 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 = {},
} |
