EVEREST: An Automatic Model-Based Testing Tool for Asynchronous Reactive Systems.

Adilson Luiz Bonifácio Camila Sonoda Gomes

Published in: J. Softw. Eng. Res. Dev. (2021)

Keyphrases

reactive systems
state machines
model based testing
sequence diagrams
petri net
test cases
model checking
software development
real time
data sets
supply chain
temporal logic
information flow
intermediate representation