| 641 | Ronald W. Ritchey
Mutating network models to generate network security test cases
Proceedings of the 1st Workshop on Mutation Analysis (MUTATION'00)San Jose, California, 6-7 October 2001. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{Ritchey01,
author = {Ronald W. Ritchey},
title = {Mutating network models to generate network security test cases},
booktitle = {Proceedings of the 1st Workshop on Mutation Analysis (MUTATION'00)},
year = {2001},
address = {San Jose, California},
month = {6-7 October},
pages = {79-89}
} |
| 642 | 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}
} |
| 643 | Mei{-}Hwa Chen and Michael R. Lyu and W. Eric Wong
Effect of code coverage on software reliability measurement
{IEEE} Trans. Reliability, 50(2), 2001. |
|
| | Abstract: Available soon... |
| | @ARTICLE{ChenLW01,
author = {Mei{-}Hwa Chen and Michael R. Lyu and W. Eric Wong},
title = {Effect of code coverage on software reliability measurement},
journal = {{IEEE} Trans. Reliability},
year = {2001},
month = {},
volume = {50},
number = {2},
pages = {165--170}
} |
| 644 | 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}
} |
| 645 | 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}
} |
| 646 | 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}
} |
| 647 | 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}
} |
| 648 | Mark Harman and Robert M. Hierons and Sebastian Danicic
The Relationship Between Program Dependence and Mutation Analysis
Proceedings of the 1st Workshop on Mutation Analysis (MUTATION'00)San Jose, California, 6-7 October 2001. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{HarmanHD01,
author = {Mark Harman and Robert M. Hierons and Sebastian Danicic},
title = {The Relationship Between Program Dependence and Mutation Analysis},
booktitle = {Proceedings of the 1st Workshop on Mutation Analysis (MUTATION'00)},
year = {2001},
address = {San Jose, California},
month = {6-7 October},
pages = {5-13}
} |
| 649 | Paul E. Black and Vadim Okun and Yaacov Yesha
Mutation of Model Checker Specifications for Test Generation and Evaluation
Proceedings of the 1st Workshop on Mutation Analysis (MUTATION'00)San Jose, California, 6-7 October 2001. |
|
| | Abstract: Mutation analysis on model checking specifications is a recent development. This approach mutates a specification, then applies a model checker to compare the mutants with the original specification to automatically generate tests or evaluate coverage. The properties of specification mutation operators have not been explored in depth. We report our work on theoretical and empirical comparison of these operators. Our future plans include studying how the form of a specification influences the results, finding relations between different operators, and validating the method against independent metrics. |
| | @INPROCEEDINGS{BlackOY01,
author = {Paul E. Black and Vadim Okun and Yaacov Yesha},
title = {Mutation of Model Checker Specifications for Test Generation and Evaluation},
booktitle = {Proceedings of the 1st Workshop on Mutation Analysis (MUTATION'00)},
year = {2001},
address = {San Jose, California},
month = {6-7 October},
pages = {14-20}
} |
| 650 | M{\'{a}}rcio Eduardo Delamaro and Jos{\'{e}} Carlos Maldonado and Aditya P. Mathur
Interface Mutation: An Approach for Integration Testing
{IEEE} Trans. Software Eng., 27(3), 2001. |
|
| | Abstract: Available soon... |
| | @ARTICLE{DelamaroMM01,
author = {M{\'{a}}rcio Eduardo Delamaro and Jos{\'{e}} Carlos Maldonado and Aditya P. Mathur},
title = {Interface Mutation: An Approach for Integration Testing},
journal = {{IEEE} Trans. Software Eng.},
year = {2001},
month = {},
volume = {27},
number = {3},
pages = {228--247}
} |
