A Model-Based Testing Tool for Asynchronous Reactive Systems.

Adilson Luiz Bonifácio Camila Sonoda Gomes

Published in: CoRR (2020)

Keyphrases

reactive systems
state machines
sequence diagrams
model based testing
test cases
databases
temporal logic
information systems
software design
database
decision making
training data
model checking
test data
information flow
intermediate representation