Author of the publication

Prioritizing Test Cases with Markov Chains: A Preliminary Investigation.

, , , , , , , and . ICTSS, volume 14131 of Lecture Notes in Computer Science, page 219-236. Springer, (2023)

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.

 

Other publications of authors with the same name

Prioritizing Test Cases with Markov Chains: A Preliminary Investigation., , , , , , , and . ICTSS, volume 14131 of Lecture Notes in Computer Science, page 219-236. Springer, (2023)A Systematic Literature Review on Prioritizing Software Test Cases Using Markov Chains., , , , , and . ICTSS, volume 14131 of Lecture Notes in Computer Science, page 179-182. Springer, (2023)Uma metodologia para aplicar verificação formal a software desenvolvido de acordo com UML.. National Institute for Space Research, São José dos Campos, Brazil, (2015)ndltd.org (oai:agregador.ibict.br.BDTD_INPE:oai:urlib.net:sid.inpe.br/mtc-m21b/2015/09.08.18.24.45-0).Input Data Optimization For Pauliceia 2.0 Platform's Historical Geocoding Web Service., , , , , , , , and . GEOINFO, page 288-297. MCTI/INPE, (2023)Collaborative Historical Platform for Historians: Extended Functionalities in Pauliceia 2.0., , , , , , , , , and 15 other author(s). WEBIST, page 460-466. SCITEPRESS, (2021)A Formal Verification Tool for UML Behavioral Diagrams., , , and . ICCSA (1), volume 8579 of Lecture Notes in Computer Science, page 696-711. Springer, (2014)Software requirements testing approaches: a systematic literature review., , , , and . Requir. Eng., 25 (3): 317-337 (2020)Vulnerabilities and Open Issues of Smart Contracts: A Systematic Mapping., , , and . ICCSA (4), volume 12952 of Lecture Notes in Computer Science, page 3-18. Springer, (2021)Singularity: A methodology for automatic unit test data generation for C++ applications based on Model Checking counterexamples., , and . SAST, page 72-79. ACM, (2019)A Rigorous Evaluation of the Benefits of Usability Improvements Within Model Checking-Aided Software Inspections., , and . ICCSA (5), volume 10408 of Lecture Notes in Computer Science, page 591-606. Springer, (2017)