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

Haitao Dan, Robert M. Hierons

Browse the full ICST paper archive.