Formal Parameters Synthesis for Track Segments of a Subway Mesh. - Adilson Luiz Bonifácio; Arnaldo Vieira Moura; João Batista Camargo Jr.; Jorge Rady de Almeida Jr. (ECBS, 2000)

Modeling and Parameters Synthesis for an Air Traffic Management System. - Adilson Luiz Bonifácio; Arnaldo Vieira Moura (FMCAD, 2000)

Towards Deriving Test Sequences by Model Checking. - Adilson Luiz Bonifácio; Arnaldo Vieira Moura; Adenilso da Silva Simão; José Carlos Maldonado (SBMF, 2006)

A Generalized Model-Based Test Generation Method. - Adilson Luiz Bonifácio; Arnaldo Vieira Moura; Adenilso da Silva Simão (SEFM, 2008)

Geração de conjuntos de teste para sistemas reativos, de tempo-real, e com transformações de contexto - Adilson Luiz Bonifácio (2009)

A Tool to Support Model-Based Testing Activities. - Gilson Doi Junior; Adilson Luiz Bonifácio (SBESC, 2011)

Model Partitions and Compact Test Case Suites. - Adilson Luiz Bonifácio; Arnaldo Vieira Moura; Adenilso da Silva Simão (Int. J. Found. Comput. Sci., 2012)

A new method for testing timed systems. - Adilson Luiz Bonifácio; Arnaldo Vieira Moura (Softw. Test. Verification Reliab., 2013)

Partial Models and Weak Equivalence. - Adilson Luiz Bonifácio; Arnaldo Vieira Moura (ICTAC, 2014)

On the completeness of test suites. - Adilson Luiz Bonifácio; Arnaldo Vieira Moura (SAC, 2014)

Test Suite Completeness and Partial Models. - Adilson Luiz Bonifácio; Arnaldo Vieira Moura (SEFM, 2014)

Devising a conflict detection method for multi-party contracts. - Wellington Aparecido Della Mura; Adilson Luiz Bonifácio (SCCC, 2015)

Intrinsic Properties of Complete Test Suites. - Adilson Luiz Bonifácio; Arnaldo Vieira Moura (CoRR, 2015)

Discretising and testing timed contextual models. - Adilson Luiz Bonifácio; Arnaldo Vieira Moura (Int. J. Comput. Appl. Technol., 2016)

Experimental comparison of approaches for checking completeness of test suites from finite state machines. - Adilson Luiz Bonifácio; Arnaldo Vieira Moura; Adenilso da Silva Simão (Inf. Softw. Technol., 2017)

Test suite completeness and black box testing. - Adilson Luiz Bonifácio; Arnaldo Vieira Moura (Softw. Test. Verification Reliab., 2017)

An automatic tool for checking multi-party contracts. - Adilson Luiz Bonifácio; Wellington Aparecido Della Mura (CoRR, 2018)

Complete Test Suites for Input/Output Systems. - Adilson Luiz Bonifácio; Arnaldo Vieira Moura (CoRR, 2019)

Automatically Checking Conformance on Asynchronous Reactive Systems. - Camila Sonoda Gomes; Adilson Luiz Bonifácio (CoRR, 2019)

A Model-Based Testing Tool for Asynchronous Reactive Systems. - Adilson Luiz Bonifácio; Camila Sonoda Gomes (CoRR, 2020)

Automatically running experiments on checking multi-party contracts. - Adilson Luiz Bonifácio; Wellington Aparecido Della Mura (Artif. Intell. Law, 2021)

Testing Asynchronous Reactive Systems: Beyond the ioco framework. - Adilson Luiz Bonifácio; Arnaldo Vieira Moura (CLEI Electron. J., 2021)

Testing Pushdown Systems. - Adilson Luiz Bonifácio; Arnaldo Vieira Moura (CoRR, 2021)

EVEREST: An Automatic Model-Based Testing Tool for Asynchronous Reactive Systems. - Adilson Luiz Bonifácio; Camila Sonoda Gomes (J. Softw. Eng. Res. Dev., 2021)

Language-Based Testing for Pushdown Reactive Systems. - Adilson Luiz Bonifácio (SBMF, 2023)

Conformance Checking for Pushdown Reactive Systems based on Visibly Pushdown Languages. - Adilson Luiz Bonifácio (CoRR, 2023)

Conformance Checking and Pushdown Reactive Systems. - Adilson Luiz Bonifácio; Arnaldo Vieira Moura (CLEI Electron. J., 2023)