![](/img/cover-not-exists.png)
[IEEE 2014 IEEE Seventh International Conference on Software Testing, Verification and Validation Workshops (ICSTW) - OH, USA (2014.3.31-2014.4.4)] 2014 IEEE Seventh International Conference on Software Testing, Verification and Validation Workshops - MutaLog: A Tool for Mutating Logic Formulas
Henard, Christopher, Papadakis, Mike, Traon, Yves LeYear:
2014
Language:
english
DOI:
10.1109/icstw.2014.54
File:
PDF, 818 KB
english, 2014