( en | de | ru )

 

Disambiguation of "Bonifácio, Adilson Luiz"

Author of the publication

copydeleteadd this publication to your clipboard
Towards Deriving Test Sequences by Model Checking.

, , , and . SBMF, volume 195 of Electronic Notes in Theoretical Computer Science, page 21-40. Elsevier, (2006)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Michael Bonifacio

Adilson Gonzaga

Thomas Luiz

Luiz Dahlheim

Luiz Bicca

 

Other publications of authors with the same name

Testing Asynchronous Reactive Systems: Beyond the ioco framework., and . CLEI Electron. J., (2021)Devising a conflict detection method for multi-party contracts., and . SCCC, page 1-6. IEEE, (2015)Test Suite Completeness and Partial Models., and . SEFM, volume 8702 of Lecture Notes in Computer Science, page 96-110. Springer, (2014)Intrinsic Properties of Complete Test Suites., and . CoRR, (2015)A Generalized Model-Based Test Generation Method., , and . SEFM, page 139-148. IEEE Computer Society, (2008)Discretising and testing timed contextual models., and . Int. J. Comput. Appl. Technol., 54 (2): 121-137 (2016)EVEREST: An Automatic Model-Based Testing Tool for Asynchronous Reactive Systems., and . J. Softw. Eng. Res. Dev., (2021)Language-Based Testing for Pushdown Reactive Systems.. SBMF, volume 14414 of Lecture Notes in Computer Science, page 75-91. Springer, (2023)Automatically running experiments on checking multi-party contracts., and . Artif. Intell. Law, 29 (3): 287-310 (2021)A new method for testing timed systems., and . Softw. Test. Verification Reliab., 23 (2): 91-117 (2013)