Testing Asynchronous Reactive Systems: Beyond the ioco framework.

Adilson Luiz Bonifácio Arnaldo Vieira Moura

Published in: CLEI Electron. J. (2021)

Keyphrases

reactive systems
main contribution
theoretical framework
real time
data mining
machine learning
database systems
model checking
state machines