Adilson Luiz Bonifácio

29 papers B 3C 1Misc 1Journal 18Unranked 5

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Automatically checking visual conformance for pushdown reactive systems based on VPLs. Sci. Comput. Program. Adilson Luiz Bonifácio
2026	J	`jnl`	Uma Prova de Conceito para a Verificação Formal de Contratos Inteligentes. CoRR Murilo de Souza Neves, Adilson Luiz Bonifácio
2023	J	`jnl`	Conformance Checking and Pushdown Reactive Systems. CLEI Electron. J. Adilson Luiz Bonifácio, Arnaldo Vieira Moura
2023	J	`jnl`	Conformance Checking for Pushdown Reactive Systems based on Visibly Pushdown Languages. CoRR Adilson Luiz Bonifácio
2023	—	`conf`	Language-Based Testing for Pushdown Reactive Systems. SBMF Adilson Luiz Bonifácio
2021	J	`jnl`	Automatically running experiments on checking multi-party contracts. Artif. Intell. Law Adilson Luiz Bonifácio, Wellington Aparecido Della Mura
2021	J	`jnl`	EVEREST: An Automatic Model-Based Testing Tool for Asynchronous Reactive Systems. J. Softw. Eng. Res. Dev. Adilson Luiz Bonifácio, Camila Sonoda Gomes
2021	J	`jnl`	Testing Asynchronous Reactive Systems: Beyond the ioco framework. CLEI Electron. J. Adilson Luiz Bonifácio, Arnaldo Vieira Moura
2021	J	`jnl`	Testing Pushdown Systems. CoRR Adilson Luiz Bonifácio, Arnaldo Vieira Moura
2020	J	`jnl`	A Model-Based Testing Tool for Asynchronous Reactive Systems. CoRR Adilson Luiz Bonifácio, Camila Sonoda Gomes
2019	J	`jnl`	Automatically Checking Conformance on Asynchronous Reactive Systems. CoRR Camila Sonoda Gomes, Adilson Luiz Bonifácio
2019	J	`jnl`	Complete Test Suites for Input/Output Systems. CoRR Adilson Luiz Bonifácio, Arnaldo Vieira Moura
2018	J	`jnl`	An automatic tool for checking multi-party contracts. CoRR Adilson Luiz Bonifácio, Wellington Aparecido Della Mura
2017	J	`jnl`	Experimental comparison of approaches for checking completeness of test suites from finite state machines. Inf. Softw. Technol. Adilson Luiz Bonifácio, Arnaldo Vieira Moura, Adenilso da Silva Simão
2017	J	`jnl`	Test suite completeness and black box testing. Softw. Test. Verification Reliab. Adilson Luiz Bonifácio, Arnaldo Vieira Moura
2016	J	`jnl`	Discretising and testing timed contextual models. Int. J. Comput. Appl. Technol. Adilson Luiz Bonifácio, Arnaldo Vieira Moura
2015	—	`conf`	Devising a conflict detection method for multi-party contracts. SCCC Wellington Aparecido Della Mura, Adilson Luiz Bonifácio
2015	J	`jnl`	Intrinsic Properties of Complete Test Suites. CoRR Adilson Luiz Bonifácio, Arnaldo Vieira Moura
2014	Misc	`conf`	On the completeness of test suites. SAC Adilson Luiz Bonifácio, Arnaldo Vieira Moura
2014	C	`conf`	Partial Models and Weak Equivalence. ICTAC Adilson Luiz Bonifácio, Arnaldo Vieira Moura
2014	B	`conf`	Test Suite Completeness and Partial Models. SEFM Adilson Luiz Bonifácio, Arnaldo Vieira Moura
2013	J	`jnl`	A new method for testing timed systems. Softw. Test. Verification Reliab. Adilson Luiz Bonifácio, Arnaldo Vieira Moura
2012	J	`jnl`	Model Partitions and Compact Test Case Suites. Int. J. Found. Comput. Sci. Adilson Luiz Bonifácio, Arnaldo Vieira Moura, Adenilso da Silva Simão
2011	—	`conf`	A Tool to Support Model-Based Testing Activities. SBESC Gilson Doi Junior, Adilson Luiz Bonifácio
2009	—	`—`	Geração de conjuntos de teste para sistemas reativos, de tempo-real, e com transformações de contexto Adilson Luiz Bonifácio
2008	B	`conf`	A Generalized Model-Based Test Generation Method. SEFM Adilson Luiz Bonifácio, Arnaldo Vieira Moura, Adenilso da Silva Simão
2006	—	`conf`	Towards Deriving Test Sequences by Model Checking. SBMF Adilson Luiz Bonifácio, Arnaldo Vieira Moura, Adenilso da Silva Simão, José Carlos Maldonado
2000	—	`conf`	Formal Parameters Synthesis for Track Segments of a Subway Mesh. ECBS Adilson Luiz Bonifácio, Arnaldo Vieira Moura, João Batista Camargo Jr., Jorge Rady de Almeida Jr.
2000	B	`conf`	Modeling and Parameters Synthesis for an Air Traffic Management System. FMCAD Adilson Luiz Bonifácio, Arnaldo Vieira Moura