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

Haitao Dan Robert M. Hierons

Published in: ICST (2012)

Keyphrases

mutation testing
semantic technologies
semantic information
natural language
semantic web
data sets
databases
high level
database applications
statistical machine translation
test sequences
artificial intelligence
user friendly
test generation