Test generation via Dynamic Symbolic Execution for mutation testing.

Lingming Zhang Tao Xie Lu Zhang Nikolai Tillmann Jonathan de Halleux Hong Mei

Published in: ICSM (2010)

Keyphrases

test generation
symbolic execution
mutation testing
test cases
test sequences
static analysis
software testing
quality assurance
test data generation
regression testing
decision trees
multi agent systems
image quality
pattern matching