2 papers
cs.SE2021
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…
cs.SE2019
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…