@inproceedings{inproceedings, title = {{SMT-C: A Semantic Mutation Testing Tools for C}}, publisher = {{IEEE}}, url = {{}}, year = {{2012}}, month = {{1}}, author = {{Dan H and Hierons RM}}, doi = {{10.1109/icst.2012.155}}, isbn = {{9781457719066}}, journal = {{2012 IEEE Fifth International Conference on Software Testing, Verification and Validation}}, note = {{Accessed on 2024/12/21}}}