Generation of optimal finite test suites for timed systems.

Mercedes G. Merayo Manuel Núñez Ismael Rodríguez

Published in: TASE (2007)

Keyphrases

test suite
expert systems
test cases
complex systems
database
artificial intelligence
management system
open source
knowledge based systems
error rate
petri net
retrieval systems
generation algorithm