Login / Signup
Automatic Test Generation and Monitoring of Infinite States Systems.
Doron A. Peled
Published in:
VISSAS (2005)
Keyphrases
</>
test generation
design automation
test cases
monitoring system
real time
machine learning
decision making
information technology
life cycle
finite state machines