Towards an Automated Test Generation with Delayed Transitions for Timed Systems.

Elisangela Rodrigues Vieira Ana R. Cavalli

Published in: RTCSA (2007)

Keyphrases

test generation
complex systems
design automation
artificial intelligence
computer aided
software testing
database
computer vision
test cases
petri net
static analysis
test sequences