Adilson Luiz Bonifácio

CLEI Electron. J., March, 2023

Conformance Checking for Pushdown Reactive Systems based on Visibly Pushdown Languages.

[BibT_eX]

[DOI]

CoRR, 2023

Language-Based Testing for Pushdown Reactive Systems.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods: Foundations and Applications - 26th Brazilian Symposium, 2023

2021

EVEREST: An Automatic Model-Based Testing Tool for Asynchronous Reactive Systems.

[BibT_eX]

[DOI]

Camila Sonoda Gomes

J. Softw. Eng. Res. Dev., 2021

Testing Pushdown Systems.

[BibT_eX]

[DOI]

CoRR, 2021

Testing Asynchronous Reactive Systems: Beyond the ioco framework.

[BibT_eX]

[DOI]

CLEI Electron. J., 2021

Automatically running experiments on checking multi-party contracts.

[BibT_eX]

[DOI]

Wellington Aparecido Della Mura

Artif. Intell. Law, 2021

2020

A Model-Based Testing Tool for Asynchronous Reactive Systems.

[BibT_eX]

[DOI]

Camila Sonoda Gomes

CoRR, 2020

2019

Automatically Checking Conformance on Asynchronous Reactive Systems.

[BibT_eX]

[DOI]

Camila Sonoda Gomes

CoRR, 2019

Complete Test Suites for Input/Output Systems.

[BibT_eX]

[DOI]

CoRR, 2019

2018

An automatic tool for checking multi-party contracts.

[BibT_eX]

[DOI]

Wellington Aparecido Della Mura

CoRR, 2018

2017

Test suite completeness and black box testing.

[BibT_eX]

[DOI]

Softw. Test. Verification Reliab., 2017

Experimental comparison of approaches for checking completeness of test suites from finite state machines.

[BibT_eX]

[DOI]

Inf. Softw. Technol., 2017

2016

Discretising and testing timed contextual models.

[BibT_eX]

[DOI]

Int. J. Comput. Appl. Technol., 2016

2015

Intrinsic Properties of Complete Test Suites.

[BibT_eX]

[DOI]

Wellington Aparecido Della Mura

CoRR, 2015

Devising a conflict detection method for multi-party contracts.

[BibT_eX]

[DOI]

Proceedings of the 34th International Conference of the Chilean Computer Science Society, 2015

2014

Test Suite Completeness and Partial Models.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering and Formal Methods - 12th International Conference, 2014

On the completeness of test suites.

[BibT_eX]

[DOI]

Proceedings of the Symposium on Applied Computing, 2014

Partial Models and Weak Equivalence.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Aspects of Computing - ICTAC 2014, 2014

2013

A new method for testing timed systems.

[BibT_eX]

[DOI]

Softw. Test. Verification Reliab., 2013

2012

Model Partitions and Compact Test Case Suites.

[BibT_eX]

[DOI]

Int. J. Found. Comput. Sci., 2012

2011

A Tool to Support Model-Based Testing Activities.

[BibT_eX]

[DOI]

Gilson Doi Junior

Proceedings of the Brazilian Symposium on Computing System Engineering, 2011

2008

A Generalized Model-Based Test Generation Method.

[BibT_eX]

[DOI]

Proceedings of the Sixth IEEE International Conference on Software Engineering and Formal Methods, 2008

2006

Towards Deriving Test Sequences by Model Checking.

[BibT_eX]

[DOI]

José Carlos Maldonado

Proceedings of the Brazilian Symposium on Formal Methods, 2006

2000

Modeling and Parameters Synthesis for an Air Traffic Management System.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods in Computer-Aided Design, Third International Conference, 2000

Formal Parameters Synthesis for Track Segments of a Subway Mesh.

[BibT_eX]

[DOI]