| 651 | Delamaro, M{\'a}rcio Eduardo and Maldonado, Jos{\'e} Carlos and Vincenzi, Auri Marcelo Rizzo
Proteum/IM 2.0: An Integrated Mutation Testing Environment
Unknown- |
|
| | Abstract: Available soon... |
| | Unknown++ |
| 652 | David Jackson and Martin R. Woodward
Parallel firm mutation of Java programs
Proceedings of the 1st Workshop on Mutation Analysis (MUTATION'00)San Jose, California, 6-7 October 2001. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{JacksonW01,
author = {David Jackson and Martin R. Woodward},
title = {Parallel firm mutation of Java programs},
booktitle = {Proceedings of the 1st Workshop on Mutation Analysis (MUTATION'00)},
year = {2001},
address = {San Jose, California},
month = {6-7 October},
pages = {55-61}
} |
| 653 | J.M. Bieman and S. Ghosh and Roger T. Alexander
A Technique for Mutation of Java Objects
Proceedings of the 16th IEEE International Conference on Automated Software Engineering (ASE'01)San Diego, California, 26-29 November 2001. |
|
| | Abstract: Mutation analysis inserts faults into a program to createtest sets that distinguish the mutant from the original program.Inserted faults must represent plausible errors. Standardtransformations can mutate scalar values such as integers,floats, and character data. Mutating objects is anopen problem, because object semantics are defined by theprogrammer and can vary widely. We develop mutation operatorsand support tools that can mutate Java library itemsthat are heavily used in commercial software. Our mutationengine can support reusable libraries of mutation componentsto inject faults into objects that instantiate items fromthese common Java libraries. Our technique should be effectivefor evaluating real-world software testing suites. |
| | @INPROCEEDINGS{BiemanGA01,
author = {J.M. Bieman and S. Ghosh and Roger T. Alexander},
title = {A Technique for Mutation of Java Objects},
booktitle = {Proceedings of the 16th IEEE International Conference on Automated Software Engineering (ASE'01)},
year = {2001},
address = {San Diego, California},
month = {26-29 November},
pages = {337}
} |
| 654 | Benoit Baudry and Vu Le Hanh and Jean-Marc J\'ez\'equel and Yves Le Traon
Trustable Components: Yet Another Mutation-Based Approach
Proceedings of the 1st Workshop on Mutation Analysis (MUTATION'00)San Jose, California, 6-7 October 2001. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{BaudryHJT01,
author = {Benoit Baudry and Vu Le Hanh and Jean-Marc J\'ez\'equel and Yves Le Traon},
title = {Trustable Components: Yet Another Mutation-Based Approach},
booktitle = {Proceedings of the 1st Workshop on Mutation Analysis (MUTATION'00)},
year = {2001},
address = {San Jose, California},
month = {6-7 October},
pages = {47-54}
} |
| 655 | Sudipto Ghosh and Priya Govindarajan and Aditya P. Mathur
TDS: a Tool for Testing Distributed Component-Based Applications
Proceedings of the 1st Workshop on Mutation Analysis (MUTATION'00)San Jose, California, 6-7 October 2001. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{GhoshGM01,
author = {Sudipto Ghosh and Priya Govindarajan and Aditya P. Mathur},
title = {TDS: a Tool for Testing Distributed Component-Based Applications},
booktitle = {Proceedings of the 1st Workshop on Mutation Analysis (MUTATION'00)},
year = {2001},
address = {San Jose, California},
month = {6-7 October},
pages = {103-112}
} |
| 656 | Hoijin Yoon and Byoungju Choi
Component Customization Testing Technique Using Fault Injection Technique and Mutation Test Criteria
Proceedings of the 1st Workshop on Mutation Analysis (MUTATION'00)San Jose, California, 6-7 October 2001. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{YoonC01,
author = {Hoijin Yoon and Byoungju Choi},
title = {Component Customization Testing Technique Using Fault Injection Technique and Mutation Test Criteria},
booktitle = {Proceedings of the 1st Workshop on Mutation Analysis (MUTATION'00)},
year = {2001},
address = {San Jose, California},
month = {6-7 October},
pages = {71-78}
} |
| 657 | Sudipto Ghosh and Aditya P. Mathur
Interface Mutation
Software Testing, Verification and Reliability, 11(3), March 2001. |
|
| | Abstract: The need for test adequacy criteria is widely recognized. Several criteria have been proposed for the assessment of adequacy of tests at the unit level. However, there remains a lack of criteria for the assessment of the adequacy of tests generated during integration testing. We present a mutation-based interprocedural criterion, named Interface Mutation (IM), suitable for use during integration testing. A case study to evaluate the proposed criterion is reported. In this study, the UNIX sort utility was seeded with errors and Interface Mutation evaluated by measuring the cost of its application and its error revealing effectiveness. Alternative IM criteria using different sets of Interface Mutation operators were also evaluated. While comparing the error revealing effectiveness of these Interface Mutation-based test sets with same size randomly generated test sets we observed that in most cases Interface Mutation-based test sets are superior. The results suggest that Interface Mutation offers a viable test adequacy criteria for use at the integration level. |
| | @ARTICLE{GhoshM01,
author = {Sudipto Ghosh and Aditya P. Mathur},
title = {Interface Mutation},
journal = {Software Testing, Verification and Reliability},
year = {2001},
month = {March},
volume = {11},
number = {3},
pages = {227-247}
} |
| 658 | Ellen Francine Barbosa and Jose Carlos Maldonado and Auri Marcelo Rizzo Vincenzi
Toward the determination of sufficient mutant operators for C
Software Testing, Verification and Reliability, 11(2), May 2001. |
|
| | Abstract: Mutation testing (MT) has been found to be effective at revealing faults. However, its high cost of application, due to the high number of mutants created and the effort to determine the equivalent ones, has motivated the proposition of alternative approaches for its application. One of them, named selective mutation, aims to reduce the number of generated mutants through a reduction in the number of mutant operators. A previous relevant study resulted in the proposition of a sufficient mutant operators set for FORTRAN, indicating that it is possible to have a large cost reduction in MT application, whilst preserving a high MT score. This work investigates procedures for the determination of a sufficient mutant operators set for C programs with the perspective of contributing to the establishment of low-cost, effective mutation-based testing strategies. |
| | @ARTICLE{BarbosaMV01,
author = {Ellen Francine Barbosa and Jose Carlos Maldonado and Auri Marcelo Rizzo Vincenzi},
title = {Toward the determination of sufficient mutant operators for C},
journal = {Software Testing, Verification and Reliability},
year = {2001},
month = {May},
volume = {11},
number = {2},
pages = {113-136}
} |
| 659 | Ian G. Harris
Hardware-Software Covalidation: Fault Models and Test Generation
Proceedings of the 6th IEEE International High-Level Design Validation and Test Workshop (HLDVT'01)Monterey, California, 07-09 December 2001. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{Harris01,
author = {Ian G. Harris},
title = {Hardware-Software Covalidation: Fault Models and Test Generation},
booktitle = {Proceedings of the 6th IEEE International High-Level Design Validation and Test Workshop (HLDVT'01)},
year = {2001},
address = {Monterey, California},
month = {07-09 December},
pages = {151}
} |
| 660 | Sunwoo Kim and John A. Clark and John A. McDermid
Investigating the effectiveness of object-oriented testing strategies using the mutation method
Proceedings of the 1st Workshop on Mutation Analysis (MUTATION'00)San Jose, California, 6-7 October 2001. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{KimCM01,
author = {Sunwoo Kim and John A. Clark and John A. McDermid},
title = {Investigating the effectiveness of object-oriented testing strategies using the mutation method},
booktitle = {Proceedings of the 1st Workshop on Mutation Analysis (MUTATION'00)},
year = {2001},
address = {San Jose, California},
month = {6-7 October},
pages = {207-225}
} |
