| 1 | C\'esar Andr\'es and Mercedes G. Merayo and Carlos Molinero
Advantages of Mutation in Passive Testing: An Empirical Study
Proceedings of the 4th International Workshop on Mutation Analysis (MUTATION'09)Denver, Colorado, 1-4 April 2009. |
|
| | Abstract: This paper presents an empirical study of the mutation techniques used by the tool PASTE. This tool allows the automation of our passive testing methodology for systems that present stochastic-time information. In our proposal, invariants express the fact that each time the implementation under test performs a given sequence of actions, then it must exhibit a behavior according to the probability distribution functions reflected in the invariant. We briefly review the theoretical framework of our methodology and the main features of our tool. Next, we present in detail the Mutants module that provides us with a functionality to test the effectiveness of invariants for detecting errors. Finally, we present a study of the results obtained from the performed experiments. |
| | @INPROCEEDINGS{AndresMM09,
author = {C\'esar Andr\'es and Mercedes G. Merayo and Carlos Molinero},
title = {Advantages of Mutation in Passive Testing: An Empirical Study},
booktitle = {Proceedings of the 4th International Workshop on Mutation Analysis (MUTATION'09)},
year = {2009},
address = {Denver, Colorado},
month = {1-4 April},
pages = {230-239}
} |
| 2 | C{\'{e}}sar Andr{\'{e}}s and Mercedes G. Merayo and Carlos Molinero
Advantages of Mutation in Passive Testing: An Empirical Study
Second International Conference on Software Testing Verification and Validation, {ICST} 2009, Denver, Colorado, USA, April 1-4, 2009, Workshops Proceedings, 2009. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{andres_ICSTW_09,
author = {C{\'{e}}sar Andr{\'{e}}s and Mercedes G. Merayo and Carlos Molinero},
title = {Advantages of Mutation in Passive Testing: An Empirical Study},
booktitle = {Second International Conference on Software Testing Verification and Validation, {ICST} 2009, Denver, Colorado, USA, April 1-4, 2009, Workshops Proceedings},
year = {2009},
address = {},
month = {},
pages = {230--239}
} |
