Adilson Luiz Bonifácio

Publication Activity (10 Years)

Years Active: 2000-2023
Publications (10 Years): 16

Top Topics

Reactive Systems

Top Venues

Softw. Test. Verification Reliab.

CLEI Electron. J.

Inf. Softw. Technol.

Publications

Adilson Luiz Bonifácio
Language-Based Testing for Pushdown Reactive Systems. SBMF (2023)
Adilson Luiz Bonifácio
Conformance Checking for Pushdown Reactive Systems based on Visibly Pushdown Languages. CoRR (2023)
Adilson Luiz Bonifácio, Arnaldo Vieira Moura
Conformance Checking and Pushdown Reactive Systems. CLEI Electron. J. 25 (3) (2023)
Adilson Luiz Bonifácio, Wellington Aparecido Della Mura
Automatically running experiments on checking multi-party contracts. Artif. Intell. Law 29 (3) (2021)
Adilson Luiz Bonifácio, Arnaldo Vieira Moura
Testing Asynchronous Reactive Systems: Beyond the ioco framework. CLEI Electron. J. 24 (2) (2021)
Adilson Luiz Bonifácio, Camila Sonoda Gomes
EVEREST: An Automatic Model-Based Testing Tool for Asynchronous Reactive Systems. J. Softw. Eng. Res. Dev. 9 (2021)
Adilson Luiz Bonifácio, Arnaldo Vieira Moura
Testing Pushdown Systems. CoRR (2021)
Adilson Luiz Bonifácio, Camila Sonoda Gomes
A Model-Based Testing Tool for Asynchronous Reactive Systems. CoRR (2020)
Adilson Luiz Bonifácio, Arnaldo Vieira Moura
Complete Test Suites for Input/Output Systems. CoRR (2019)
Camila Sonoda Gomes, Adilson Luiz Bonifácio
Automatically Checking Conformance on Asynchronous Reactive Systems. CoRR (2019)
Adilson Luiz Bonifácio, Wellington Aparecido Della Mura
An automatic tool for checking multi-party contracts. CoRR (2018)
Adilson Luiz Bonifácio, Arnaldo Vieira Moura
Test suite completeness and black box testing. Softw. Test. Verification Reliab. 27 (1-2) (2017)
Adilson Luiz Bonifácio, Arnaldo Vieira Moura, Adenilso da Silva Simão
Experimental comparison of approaches for checking completeness of test suites from finite state machines. Inf. Softw. Technol. 92 (2017)
Adilson Luiz Bonifácio, Arnaldo Vieira Moura
Discretising and testing timed contextual models. Int. J. Comput. Appl. Technol. 54 (2) (2016)
Adilson Luiz Bonifácio, Arnaldo Vieira Moura
Intrinsic Properties of Complete Test Suites. CoRR (2015)
Wellington Aparecido Della Mura, Adilson Luiz Bonifácio
Devising a conflict detection method for multi-party contracts. SCCC (2015)
Adilson Luiz Bonifácio, Arnaldo Vieira Moura
Test Suite Completeness and Partial Models. SEFM (2014)
Adilson Luiz Bonifácio, Arnaldo Vieira Moura
On the completeness of test suites. SAC (2014)
Adilson Luiz Bonifácio, Arnaldo Vieira Moura
Partial Models and Weak Equivalence. ICTAC (2014)
Adilson Luiz Bonifácio, Arnaldo Vieira Moura
A new method for testing timed systems. Softw. Test. Verification Reliab. 23 (2) (2013)
Adilson Luiz Bonifácio, Arnaldo Vieira Moura, Adenilso da Silva Simão
Model Partitions and Compact Test Case Suites. Int. J. Found. Comput. Sci. 23 (1) (2012)
Gilson Doi Junior, Adilson Luiz Bonifácio
A Tool to Support Model-Based Testing Activities. SBESC (2011)
Adilson Luiz Bonifácio, Arnaldo Vieira Moura, Adenilso da Silva Simão, José Carlos Maldonado
Towards Deriving Test Sequences by Model Checking. Electron. Notes Theor. Comput. Sci. 195 (2008)
Adilson Luiz Bonifácio, Arnaldo Vieira Moura, Adenilso da Silva Simão
A Generalized Model-Based Test Generation Method. SEFM (2008)
Adilson Luiz Bonifácio, Arnaldo Vieira Moura
Modeling and Parameters Synthesis for an Air Traffic Management System. FMCAD (2000)
Adilson Luiz Bonifácio, Arnaldo Vieira Moura, João Batista Camargo Jr., Jorge Rady de Almeida Jr.
Formal Parameters Synthesis for Track Segments of a Subway Mesh. ECBS (2000)