Christopher Henard, Mike Papadakis, Yves Le Traon. MutaLog: A Tool for Mutating Logic Formulas. In 2014 IEEE Seventh International Conference on Software Testing, Verification and Validation, Workshops Proceedings, March 31 - April 4, 2014, Cleveland, Ohio, USA. pages 399-404, IEEE Computer Society, 2014. [doi]
@inproceedings{HenardPT14-0, title = {MutaLog: A Tool for Mutating Logic Formulas}, author = {Christopher Henard and Mike Papadakis and Yves Le Traon}, year = {2014}, doi = {10.1109/ICSTW.2014.54}, url = {http://doi.ieeecomputersociety.org/10.1109/ICSTW.2014.54}, researchr = {https://researchr.org/publication/HenardPT14-0}, cites = {0}, citedby = {0}, pages = {399-404}, booktitle = {2014 IEEE Seventh International Conference on Software Testing, Verification and Validation, Workshops Proceedings, March 31 - April 4, 2014, Cleveland, Ohio, USA}, publisher = {IEEE Computer Society}, isbn = {978-0-7695-5194-4}, }