1 citations · 3 across the 7 of their papers we have counts for
6 papers · 1 filter
Conformance Checking for Pushdown Reactive Systems based on Visibly Pushdown Languages
Adilson Luiz Bonifacio
Testing pushdown reactive systems is deemed important to guarantee a precise and robust software development process. Usually, such systems can be specified by the formalism of Inp…
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…
Intrinsic Properties of Complete Test Suites
Adilson Luiz Bonifacio, Arnaldo Vieira Moura
Completeness is a desirable property of test suites. Roughly, completeness guarantees that a non-equivalent implementation under test will always be identified. Several approaches…