| 1 | Jose Carlos Maldonado and Marcio Eduardo Delamaro and Sandra C. P. F. Fabbri and Adenilso da Silva Sim\,
ao and Tatiana Sugeta and Auri Marcelo Rizzo Vincenzi and Paulo Cesar Masiero
Proteum: a family of tools to support specification and program testing based on mutation
Proceedings of the 1st Workshop on Mutation Analysis (MUTATION'00)San Jose, California, 6-7 October 2001. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{MaldonadoDFSSVM01,
author = {Jose Carlos Maldonado and Marcio Eduardo Delamaro and Sandra C. P. F. Fabbri and Adenilso da Silva Sim\,
ao and Tatiana Sugeta and Auri Marcelo Rizzo Vincenzi and Paulo Cesar Masiero},
title = {Proteum: a family of tools to support specification and program testing based on mutation},
booktitle = {Proceedings of the 1st Workshop on Mutation Analysis (MUTATION'00)},
year = {2001},
address = {San Jose, California},
month = {6-7 October},
pages = {113-117}
} |
| 2 | Auri Marcelo Rizzo Vincenzi and Jose Carlos Maldonado and E. F. Barbosa and Marcio Eduardo Delamaro
Unit and Integration Testing Strategies for C Programs Using Mutation
Software Testing, Verification and Reliability, 11(4), November 2001. |
|
| | Abstract: Mutation testing, originally proposed for unit testing, has been extended to integration testing with the proposition of the Interface Mutation criterion. This paper presents the results of an experiment using two mutation-based testing criteria for unit and integration testing phases: the Mutation Analysis and the Interface Mutation adequacy criteria, respectively. The aim is to investigate how they can be used in a complementary way during the testing activity, establishing an incremental testing strategy comprising the unit and integration testing phases and guidelines on how to obtain a high mutation score with respect to mutation testing with a low cost, in terms of the number of mutants generated. |
| | @ARTICLE{VincenziMBD01,
author = {Auri Marcelo Rizzo Vincenzi and Jose Carlos Maldonado and E. F. Barbosa and Marcio Eduardo Delamaro},
title = {Unit and Integration Testing Strategies for C Programs Using Mutation},
journal = {Software Testing, Verification and Reliability},
year = {2001},
month = {November},
volume = {11},
number = {4},
pages = {249-268}
} |
| 3 | 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}
} |
| 4 | Jose Carlos Maldonado and Ellen Francine Barbosa and Auri Marcelo Rizzo Vincenzi and Marcio Eduardo Delamaro
Evaluating N-selective mutation for C programs: unit and integration testing
Proceedings of the 1st Workshop on Mutation Analysis (MUTATION'00)San Jose, California, 6-7 October 2001. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{MaldonadoBVD01,
author = {Jose Carlos Maldonado and Ellen Francine Barbosa and Auri Marcelo Rizzo Vincenzi and Marcio Eduardo Delamaro},
title = {Evaluating N-selective mutation for C programs: unit and integration testing},
booktitle = {Proceedings of the 1st Workshop on Mutation Analysis (MUTATION'00)},
year = {2001},
address = {San Jose, California},
month = {6-7 October},
pages = {22-33}
} |
