Mutation Testing Publications
Search results for "HenardPT14", found 1 papers, 1 pages
| 1 | Christopher Henard and Mike Papadakis and Yves Le Traon MutaLog: {A} Tool for Mutating Logic Formulas Seventh {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2014 Workshops Proceedings, March 31 - April 4, 2014, Cleveland, Ohio, {USA}, 2014. |
| BibTeX | Abstract | PDF | DOI | |
| Abstract: Available soon... | |
@INPROCEEDINGS{HenardPT14,
author = {Christopher Henard and Mike Papadakis and Yves Le Traon},
title = {MutaLog: {A} Tool for Mutating Logic Formulas},
booktitle = {Seventh {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2014 Workshops Proceedings, March 31 - April 4, 2014, Cleveland, Ohio, {USA}},
year = {2014},
address = {},
month = {},
pages = {399--404}
} |