| 711 | A. Jefferson Offutt and Jie Pan
Detecting Equivalent Mutants and the Feasible Path Problem
Proceedings of the 1996 Annual Conference on Computer AssuranceGaithersburg, Maryland, June 1996. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{OffuttP96,
author = {A. Jefferson Offutt and Jie Pan},
title = {Detecting Equivalent Mutants and the Feasible Path Problem},
booktitle = {Proceedings of the 1996 Annual Conference on Computer Assurance},
year = {1996},
address = {Gaithersburg, Maryland},
month = {June},
pages = {224-236}
} |
| 712 | A. Jefferson Offutt and Ammei Lee and Gregg Rothermel and Roland H. Untch and Christian Zapf
An Experimental Determination of Sufficient Mutant Operators
ACM Transactions on Software Engineering and Methodology, 5(2), April 1996. |
|
| | Abstract: Mutation testing is a technique for unit testing software that, although powerful, is computationally expensive. The principal expense of mutation is that many variants of the test program, called mutants, must be repeatedly executed. This paper quanti es the expense of mutation in terms of the number of mutants that are created, then proposes and evaluates a technique that reduces the number of mutants by an order of magnitude. Selective mutation reduces the cost of mutation testing by reducing the number of mutants. This paper reports experimental results that compare selective mutation testing with standard, or non-selective, mutation testing, and results that quantify the savings achieved by selective mutation testing. The results support the hypothesis that selective mutation is almost as strong as non-selective mutation; in experimental trials selective mutation provides almost the same coverage as non-selective mutation, with a four-fold or more reduction in the number of mutants. |
| | @ARTICLE{OffuttLRUZ96,
author = {A. Jefferson Offutt and Ammei Lee and Gregg Rothermel and Roland H. Untch and Christian Zapf},
title = {An Experimental Determination of Sufficient Mutant Operators},
journal = {ACM Transactions on Software Engineering and Methodology},
year = {1996},
month = {April},
volume = {5},
number = {2},
pages = {99-118}
} |
| 713 | A. Jefferson Offutt and Ammei Lee and Gregg Rothermel and Roland H. Untch and Christian Zapf
An Experimental Determination of Sufficient Mutant Operators
{ACM} Trans. Softw. Eng. Methodol., 5(2), 1996. |
|
| | Abstract: Available soon... |
| | @ARTICLE{OffuttLRUZ96,
author = {A. Jefferson Offutt and Ammei Lee and Gregg Rothermel and Roland H. Untch and Christian Zapf},
title = {An Experimental Determination of Sufficient Mutant Operators},
journal = {{ACM} Trans. Softw. Eng. Methodol.},
year = {1996},
month = {},
volume = {5},
number = {2},
pages = {99--118}
} |
| 714 | A. Jefferson Offutt and J. Huffman Hayes
A Semantic Model of Program Faults
Proceedings of the International Symposium on Software Testing and Analysis (ISSTA'96)San Diego, California, January 1996. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{OffuttH96,
author = {A. Jefferson Offutt and J. Huffman Hayes},
title = {A Semantic Model of Program Faults},
booktitle = {Proceedings of the International Symposium on Software Testing and Analysis (ISSTA'96)},
year = {1996},
address = {San Diego, California},
month = {January},
pages = {195-200}
} |
| 715 | Kuo-Chung Tai
Theory of Fault-based Predicate Testing for Computer Programs
IEEE Transactions on Software Engineering, 22(8), August 1996. |
|
| | Abstract: Predicates appear in both the specification and implementation of a program. One approach to software testing, referred to as predicate testing, is to require certain types of tests for a predicate. In this paper, three fault-based testing criteria are defined for compound predicates, which are predicates with one or more AND/OR operators. BOR (boolean operator) testing requires a set of tests to guarantee the detection of (single or multiple) boolean operator faults, including incorrect AND/OR operators and missing/extra NOT operators. BRO (boolean and relational operator) testing requires a set of tests to guarantee the detection of boolean operator faults and relational operator faults (i.e., incorrect relational operators). BRE (boolean and relational expression) testing requires a set of tests to guarantee the detection of boolean operator faults, relational operator faults, and a type of fault involving arithmetical expressions. It is shown that for a compound predicate with n, n > 0, AND/OR operators, at most n + 2 constraints are needed for BOR testing and at most 2 * n + 3 constraints for BRO or BRE testing, where each constraint specifies a restriction on the value of each boolean variable or relational expression in the predicate. Algorithms for generating a minimum set of constraints for BOR, BRO, and BRE testing of a compound predicate are given, and the feasibility problem for the generated constraints is discussed. For boolean expressions that contain multiple occurrences of some boolean variables, how to combine BOR testing with the meaningful impact strategy developed by Weyuker, Goradia, and Singh [21] is briefly described. |
| | @ARTICLE{Tai06,
author = {Kuo-Chung Tai},
title = {Theory of Fault-based Predicate Testing for Computer Programs},
journal = {IEEE Transactions on Software Engineering},
year = {1996},
month = {August},
volume = {22},
number = {8},
pages = {552-562}
} |
| 716 | Marcio Eduardo Delamaro and Jose Carlos Maldonado
Proteum-A Tool for the Assessment of Test Adequacy for C Programs
Proceedings of the Conference on Performability in Computing Systems (PCS'96)New Brunswick, New Jersey, July 1996. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{DelamaroM96,
author = {Marcio Eduardo Delamaro and Jose Carlos Maldonado},
title = {Proteum-A Tool for the Assessment of Test Adequacy for C Programs},
booktitle = {Proceedings of the Conference on Performability in Computing Systems (PCS'96)},
year = {1996},
address = {New Brunswick, New Jersey},
month = {July},
pages = {79-95}
} |
| 717 | Murial Daran and Pascale Th\'evenod-Fosse
Software Error Analysis: A Real Case Study Involving Real Faults and Mutations
ACM SIGSOFT Software Engineering Notes, 21(3), May 1996. |
|
| | Abstract: The paper reports on a first experimental comparison of software errors generated by real faults and by 1st-order mutations. The experiments were conducted on a program developed by a student from the industrial specification of a critical software from the civil nuclear field. Emphasis was put on the analysis of errors produced upon activation of 12 real faults by focusing on the mechanisms of error creation, masking, and propagation up to failure occurrence, and on the comparison of these errors with those created by 24 mutations. The results involve a total of 3730 errors recorded from program execution traces: 1458 errors were produced by the real faults, and the 2272 others by the mutations. They are in favor of a suitable consistency between errors generated by mutations and by real faults: 85% of the 2272 errors due to the mutations were also produced by the real faults. Moreover, it was observed that although the studied mutations were simple faults, they can create erroneous behaviors as complex as those identified for the real faults. This lends support to the representativeness of errors due to mutations. |
| | @ARTICLE{DaranF96,
author = {Murial Daran and Pascale Th\'evenod-Fosse},
title = {Software Error Analysis: A Real Case Study Involving Real Faults and Mutations},
journal = {ACM SIGSOFT Software Engineering Notes},
year = {1996},
month = {May},
volume = {21},
number = {3},
pages = {158-177}
} |
| 718 | Marcio Eduardo Delamaro and Jose Carlos Maldonado and Aditya P. Mathur
Integration Testing Using Interface Mutation
Proceedings of the seventh International Symposium on Software Reliability Engineering (ISSRE '96)White Plains, New York, 30 October - 02 November 1996. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{DelamaroMM96,
author = {Marcio Eduardo Delamaro and Jose Carlos Maldonado and Aditya P. Mathur},
title = {Integration Testing Using Interface Mutation},
booktitle = {Proceedings of the seventh International Symposium on Software Reliability Engineering (ISSRE '96)},
year = {1996},
address = {White Plains, New York},
month = {30 October - 02 November},
pages = {112-121}
} |
| 719 | Spyros Xanthakis and Constantinos Karapoulios and Regis Pajot and Ahmed Rozz
Immune System and Fault-tolerant Computing
Proceedings of the European conference on Artificial Evolution (AE'95)Brest, France, 4–6 September 1996. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{XanthakisKPR96,
author = {Spyros Xanthakis and Constantinos Karapoulios and Regis Pajot and Ahmed Rozz},
title = {Immune System and Fault-tolerant Computing},
booktitle = {Proceedings of the European conference on Artificial Evolution (AE'95)},
year = {1996},
address = {Brest, France},
month = {4–6 September},
pages = {181-197}
} |
| 720 | A. Jefferson Offutt and Jie Pan and Kanupriya Tewary and Tong Zhang
An Experimental Evaluation of Data Flow and Mutation Testing
Softw., Pract. Exper., 26(2), 1996. |
|
| | Abstract: Available soon... |
| | @ARTICLE{OffuttPTZ96,
author = {A. Jefferson Offutt and Jie Pan and Kanupriya Tewary and Tong Zhang},
title = {An Experimental Evaluation of Data Flow and Mutation Testing},
journal = {Softw., Pract. Exper.},
year = {1996},
month = {},
volume = {26},
number = {2},
pages = {165--176}
} |
