Compositional Liveness-Preserving Conformance Testing of Timed I/O Automata - Technical Report.

Lars Luthmann Hendrik Göttmann Malte Lochau

Published in: CoRR (2019)

Keyphrases

technical report
timed automata
finite state machines
input output
test cases
finite automata
cellular automata
finite state
case study
regular expressions
model checking
petri net
database systems
color images
secondary storage
database
probabilistic automata