STG: A Symbolic Test Generation Tool.

Duncan Clarke Thierry Jéron Vlad Rusu Elena Zinovieva

Published in: TACAS (2002)

Keyphrases

test generation
test cases
symbolic execution
design automation
test sequences
static analysis
mutation testing
databases
information systems
cooperative
quality assurance