5 papers
Testing Pushdown Systems
Adilson Luiz Bonifacio, Arnaldo Vieira Moura
Testing on reactive systems is a well-known laborious activity on software development due to their asynchronous interaction with the environment. In this setting model based testi…
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…
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…
A conformance relation and complete test suites for I/O systems
Adilson Luiz Bonifacio, Arnaldo Vieira Moura
Model based testing is a well-established approach to verify implementations modeled by I/O labeled transition systems (IOLTSs). One of the challenges stemming from model based tes…
An automatic tool for checking multi-party contracts
Adilson Luiz Bonifacio, Wellington Aparecido Della Mura
Contracts play an important role in business where relationships among different parties are dictated by legal rules. The notion of electronic contracts has emerged mostly due to t…