1 citations · 3 across the 7 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
cs.SE2019★ 1 cited
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…
cs.SE2019★ 1 cited
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…