2 papers
cs.SE2020
A Model-Based Testing Tool for Asynchronous Reactive Systems
Adilson Luiz Bonifacio, Camila Sonoda Gomes
Reactive systems are characterized by the interaction with the environment, where the exchange of the input and output stimuli, usually, occurs asynchronously. Systems of this natu…
cs.SE2019
Automatically Checking Conformance on Asynchronous Reactive Systems
Camila Sonada Gomes, Adilson Luiz Bonifacio
Software testing is an important issue in software development process to ensure higher quality on the products. Formal methods has been promising on testing reactive systems, spec…