Login / Signup
Interactive Test Generation from LOTOS Specifications.
Stan P. van de Burgt
Jan Kroon
A. M. Peeters
Published in:
Protocol Test Systems (1992)
Keyphrases
</>
test generation
test cases
test sequences
design automation
symbolic execution
static analysis
mutation testing
software testing
high level
database
image quality
quality assurance
learning algorithm
artificial intelligence
video sequences