| 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}
} |
| 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}
} |
