Generating Test Cases for a Timed I/O Automaton Model.

Teruo Higashino Akio Nakata Kenichi Taniguchi Ana R. Cavalli

Published in: IWTCS (1999)

Keyphrases

input output
petri net
file system
main memory
discrete event
garbage collection
finite state machines
databases
case study
data transfer
timed automata
neural network
multiscale
object oriented
colored petri nets
ibm zenterprise