| 1 | Marcio Eduardo Delamaro and Jose Carlos Maldonado and Alberto Pasquini and Aditya P. Mathur
Interface Mutation Test Adequacy Criterion: An Empirical Evaluation
Empirical Software Engineering, 6(2), June 2001. |
|
| | Abstract: An experiment was conducted to evaluate an inter-procedural test adequacy criterion named Interface Mutation. Program SPACE, developed for the European Space Agency (ESA), was used in this experiment. The development record available for this program was used to find the faults uncovered during its development. Using this information the test process was reproduced starting with a version of SPACE containing several faults and then applying Interface Mutation. Thus we could evaluate the fault revealing effectiveness of Interface Mutation. Results from the experiment suggest that (a) the application of Interface Mutation favors the selection of fault revealing test cases when they exist and (b) Interface Mutation tends to select fault revealing test cases more efficiently than in the case where random selection is used. |
| | @ARTICLE{DelamaroMPM01,
author = {Marcio Eduardo Delamaro and Jose Carlos Maldonado and Alberto Pasquini and Aditya P. Mathur},
title = {Interface Mutation Test Adequacy Criterion: An Empirical Evaluation},
journal = {Empirical Software Engineering},
year = {2001},
month = {June},
volume = {6},
number = {2},
pages = {111-142}
} |
| 2 | 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}
} |
| 3 | Marcio Eduardo Delamaro and Jose Carlos Maldonado and Aditya P. Mathur
Interface Mutation: An Approach for Integration Testing
IEEE Transactions on Software Engineering, 27(3), May 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 the 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{DelamaroMM01,
author = {Marcio Eduardo Delamaro and Jose Carlos Maldonado and Aditya P. Mathur},
title = {Interface Mutation: An Approach for Integration Testing},
journal = {IEEE Transactions on Software Engineering},
year = {2001},
month = {May},
volume = {27},
number = {3},
pages = {228-247}
} |
| 4 | Marcio Eduardo Delamaro and Jose Carlos Maldonado and A. Vincenzi
Proteum/IM 2.0: An Integrated Mutation Testing Environment
Proceedings of the 1st Workshop on Mutation Analysis (MUTATION'00)San Jose, California, 6-7 October 2001. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{DelamaroMV01,
author = {Marcio Eduardo Delamaro and Jose Carlos Maldonado and A. Vincenzi},
title = {Proteum/IM 2.0: An Integrated Mutation Testing Environment},
booktitle = {Proceedings of the 1st Workshop on Mutation Analysis (MUTATION'00)},
year = {2001},
address = {San Jose, California},
month = {6-7 October},
pages = {91-101}
} |
| 5 | 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}
} |
| 6 | 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}
} |
| 7 | Marcio Eduardo Delamaro and Jose Carlos Maldonado and Alberto Pasquini and Aditya P. Mathur
Interface Mutation Test Adequacy Criterion: An Empirical Evaluation
State University of Maring\'a, Parana, Brasil, 2000. |
|
| | Abstract: Available soon... |
| | @TECHREPORT{DelamaroMPM00,
author = {Marcio Eduardo Delamaro and Jose Carlos Maldonado and Alberto Pasquini and Aditya P. Mathur},
title = {Interface Mutation Test Adequacy Criterion: An Empirical Evaluation},
institution = {State University of Maring\'a},
year = {2000},
type = {techreport},
number = {},
address = {Parana, Brasil},
month = {},
} |
| 8 | Marcio Eduardo Delamaro and Jose Carlos Maldonado
Interface Mutation: Assessing Testing Quality at Interprocedural Level
Proceedings of the 19th International Conference of the Chilean Computer Science Society (SCCC'99)Talca, Chile, 11-13 November 1999. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{DelamaroM99,
author = {Marcio Eduardo Delamaro and Jose Carlos Maldonado},
title = {Interface Mutation: Assessing Testing Quality at Interprocedural Level},
booktitle = {Proceedings of the 19th International Conference of the Chilean Computer Science Society (SCCC'99)},
year = {1999},
address = {Talca, Chile},
month = {11-13 November},
pages = {78-86}
} |
| 9 | Sandra C. P. F. Fabbri and Jose Carlos Maldonado and Paulo Cesar Masiero and Marcio Eduardo Delamaro
Proteum/FSM: A Tool to Support Finite State Machine Validation Based on Mutation Testing
Proceedings of the 19th International Conference of the Chilean Computer Science Society (SCCC'99)Talca, Chile, 11-13 November 1999. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{FabbriMMD99,
author = {Sandra C. P. F. Fabbri and Jose Carlos Maldonado and Paulo Cesar Masiero and Marcio Eduardo Delamaro},
title = {Proteum/FSM: A Tool to Support Finite State Machine Validation Based on Mutation Testing},
booktitle = {Proceedings of the 19th International Conference of the Chilean Computer Science Society (SCCC'99)},
year = {1999},
address = {Talca, Chile},
month = {11-13 November},
pages = {96}
} |
| 10 | 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}
} |
| 11 | 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}
} |
| 12 | Sandra Camargo Pinto Ferraz Fabbri and Jose Carlos Maldonado and Paulo Cesar Masiero and Marcio Eduardo Delamaro and W. Eric Wong
Mutation Testing Applied to Validate Specifications Based on Petri Nets
Proceedings of the IFIP TC6 8th International Conference on Formal Description Techniques VIII, 1995. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{FabbriMMDW95,
author = {Sandra Camargo Pinto Ferraz Fabbri and Jose Carlos Maldonado and Paulo Cesar Masiero and Marcio Eduardo Delamaro and W. Eric Wong},
title = {Mutation Testing Applied to Validate Specifications Based on Petri Nets},
booktitle = {Proceedings of the IFIP TC6 8th International Conference on Formal Description Techniques VIII},
year = {1995},
address = {},
month = {},
pages = {329-337}
} |
| 13 | S.C. Pinto Ferraz Fabbri and Marcio Eduardo Delamaro and Jose Carlos Maldonado and P.C. Masiero
Mutation Analysis Testing for Finite State Machines
Proceedings of the 5th International Symposium on Software Reliability EngineeringMonterey, California, 6-9 November 1994. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{FabbriDMM94,
author = {S.C. Pinto Ferraz Fabbri and Marcio Eduardo Delamaro and Jose Carlos Maldonado and P.C. Masiero},
title = {Mutation Analysis Testing for Finite State Machines},
booktitle = {Proceedings of the 5th International Symposium on Software Reliability Engineering},
year = {1994},
address = {Monterey, California},
month = {6-9 November},
pages = {220-229}
} |
| 14 | W. Eric Wong and Marcio Eduardo Delamaro and Jose Carlos Maldonado and Aditya P. Mathur
Constrained Mutation in C Programs
Proceedings of the 8th Brazilian Symposium on Software EngneeringCuritiba, Brazil, October 1994. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{WongDMM94,
author = {W. Eric Wong and Marcio Eduardo Delamaro and Jose Carlos Maldonado and Aditya P. Mathur},
title = {Constrained Mutation in C Programs},
booktitle = {Proceedings of the 8th Brazilian Symposium on Software Engneering},
year = {1994},
address = {Curitiba, Brazil},
month = {October},
pages = {439-452}
} |
| 15 | Marcio Eduardo Delamaro
{P}roteum - {A} {M}utation {A}nalysis {B}ased {T}esting {E}nvironmen
University of S\~ao Paulo, Sao Paulo, Brazil, 1993.Unknown- |
|
| | Abstract: Available soon... |
| | @PHDTHESIS{Delamaro93,
author = {Marcio Eduardo Delamaro},
title = {{P}roteum - {A} {M}utation {A}nalysis {B}ased {T}esting {E}nvironmen},
school = {University of S\~ao Paulo},
year = {1993},
type = {phdthesis},
address = {Sao Paulo, Brazil},
month = {},
} |
| 16 | Marcio Eduardo Delamaro
Proteum - A Mutation Analysis Based Testing Environmen
University of S\~ao Paulo, Sao Paulo, Brazil, 1993.Unknown- |
|
| | Abstract: Available soon... |
| | @PHDTHESIS{Delamaro93,
author = {Marcio Eduardo Delamaro},
title = {Proteum - A Mutation Analysis Based Testing Environmen},
school = {University of S\~ao Paulo},
year = {1993},
type = {phdthesis},
address = {Sao Paulo, Brazil},
month = {},
} |
