From post

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.

 

Другие публикации лиц с тем же именем

Prioritizing Test Cases with Markov Chains: A Preliminary Investigation., , , , , , , и . ICTSS, том 14131 из Lecture Notes in Computer Science, стр. 219-236. 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).A Systematic Literature Review on Prioritizing Software Test Cases Using Markov Chains., , , , , и . ICTSS, том 14131 из Lecture Notes in Computer Science, стр. 179-182. Springer, (2023)Collaborative Historical Platform for Historians: Extended Functionalities in Pauliceia 2.0., , , , , , , , , и 15 other автор(ы). WEBIST, стр. 460-466. SCITEPRESS, (2021)Input Data Optimization For Pauliceia 2.0 Platform's Historical Geocoding Web Service., , , , , , , , и . GEOINFO, стр. 288-297. MCTI/INPE, (2023)A Formal Verification Tool for UML Behavioral Diagrams., , , и . ICCSA (1), том 8579 из Lecture Notes in Computer Science, стр. 696-711. Springer, (2014)Software requirements testing approaches: a systematic literature review., , , , и . Requir. Eng., 25 (3): 317-337 (2020)Vulnerabilities and Open Issues of Smart Contracts: A Systematic Mapping., , , и . ICCSA (4), том 12952 из Lecture Notes in Computer Science, стр. 3-18. Springer, (2021)Singularity: A methodology for automatic unit test data generation for C++ applications based on Model Checking counterexamples., , и . SAST, стр. 72-79. ACM, (2019)A Rigorous Evaluation of the Benefits of Usability Improvements Within Model Checking-Aided Software Inspections., , и . ICCSA (5), том 10408 из Lecture Notes in Computer Science, стр. 591-606. Springer, (2017)