Instrumentation of Annotated C Programs for Test Generation.

Guillaume Petiot Bernard Botella Jacques Julliand Nikolai Kosmatov Julien Signoles

Published in: SCAM (2014)

Keyphrases

test generation
symbolic execution
test cases
design automation
test sequences
static analysis
mutation testing
quality assurance
software testing
test data generation
manufacturing systems
pattern matching
object oriented
cooperative
regression testing
learning algorithm
databases
code coverage
data sets