TY  - CONF

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

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

UR  - https://doi.org/10.1109/icst.2012.155

PY  - 2012/06/21

AU  - Dan H

AU  - Hierons RM

ED  - 

DO  - DOI: 10.1109/icst.2012.155

PB  - IEEE

SP  - 654

EP  - 663

Y2  - 2025/11/05

ER  -