Login / Signup
Modbat: A Model-Based API Tester for Event-Driven Systems.
Cyrille Valentin Artho
Armin Biere
Masami Hagiya
Eric Platon
Martina Seidl
Yoshinori Tanabe
Mitsuharu Yamamoto
Published in:
Haifa Verification Conference (2013)
Keyphrases
</>
event driven
black box
information delivery
real time
distributed systems
computer systems
learning systems
publish subscribe
databases
high level
knowledge based systems
building blocks
data integration
retrieval systems
third party