Automatically Checking Conformance on Asynchronous Reactive Systems. - Camila Sonoda Gomes; Adilson Luiz Bonifácio (CoRR, 2019)

A Model-Based Testing Tool for Asynchronous Reactive Systems. - Adilson Luiz Bonifácio; Camila Sonoda Gomes (CoRR, 2020)

EVEREST: An Automatic Model-Based Testing Tool for Asynchronous Reactive Systems. - Adilson Luiz Bonifácio; Camila Sonoda Gomes (J. Softw. Eng. Res. Dev., 2021)