TSUNAMI: A Path Oriented Scheme for Algebraic Test Generation.

Ted Stanion Debashis Bhattacharya

Published in: FTCS (1991)

Keyphrases

test generation
test cases
symbolic execution
test sequences
design automation
quality assurance
information systems
mobile phone
static analysis
shortest path
software testing
mutation testing