Login / Signup
Test Generation with Inputs, Outputs, and Quiescence.
Jan Tretmans
Published in:
TACAS (1996)
Keyphrases
</>
test generation
test cases
dea models
design automation
symbolic execution
static analysis
mutation testing
quality assurance
test sequences
software testing
dea model
sensory inputs
test data generation
artificial intelligence
multi agent
high level
machine learning