TY  - CONF

T1  - SMT-C: A Semantic Mutation Testing Tools for C

JO  - 2012 IEEE Fifth International Conference on Software Testing, Verification and Validation

PY  - 2012/01/01

AU  - Dan H

AU  - Hierons RM

ED  - 

DO  - DOI: 10.1109/icst.2012.155

PB  - IEEE

SN  - 9781457719066

Y2  - 2024/10/23

ER  -