Camila Sonoda Gomes

Publication Activity (10 Years)

Years Active: 2019-2021
Publications (10 Years): 3

Top Topics

Reactive Systems

Intermediate Representation

Information Flow

Top Venues

J. Softw. Eng. Res. Dev.

Publications

Adilson Luiz Bonifácio, Camila Sonoda Gomes
EVEREST: An Automatic Model-Based Testing Tool for Asynchronous Reactive Systems. J. Softw. Eng. Res. Dev. 9 (2021)
Adilson Luiz Bonifácio, Camila Sonoda Gomes
A Model-Based Testing Tool for Asynchronous Reactive Systems. CoRR (2020)
Camila Sonoda Gomes, Adilson Luiz Bonifácio
Automatically Checking Conformance on Asynchronous Reactive Systems. CoRR (2019)