A Conformance Testing Relation for Symbolic Timed Automata.

Sabrina von Styp Henrik C. Bohnenkamp Julien Schmaltz

Published in: FORMATS (2010)

Keyphrases

timed automata
model checking
reachability analysis
high level
first order logic
test cases
databases
real time systems
temporal logic
connectionist systems
neural learning
test generation
software testing
symbolic representation
software engineering
web services
website