C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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