Modeling for automated test generation - a comparison.

Hartmut Lackner Holger Schlingloff

Published in: MBEES (2012)

Keyphrases

test generation
test cases
test sequences
design automation
symbolic execution
quality assurance
artificial intelligence
software engineering
static analysis
mutation testing