| 2022 | AST | A Method and Experiment to evaluate Deep Neural Networks as Test Oracles for Scientific Software. | Valdivino Alexandre de Santiago Jnior |
| 2022 | ICCSA | Multiperspective Web Testing Supported by a Generation Hyper-Heuristic. | Juliana Marino Balera, Valdivino Alexandre de Santiago Jnior |
| 2021 | ICCSA | Aircraft Navigation Systems Safety Assessment via Probabilistic Model Checking. | Gabriel Duarte Pasa, Valdivino Alexandre de Santiago Jnior |
| 2019 | ICCSA | On the Feasibility of Probabilistic Model Checking to Analyze Battery Sustained Power Supply Systems. | Marina Dioto, Eduardo Rohde Eras, Valdivino Alexandre de Santiago Jnior |
| 2018 | ICCSA | A Self-adaptive Approach for Autonomous UAV Navigation via Computer Vision. | Gabriel Fornari, Valdivino Alexandre de Santiago Jnior, Elcio Hideiti Shiguemori |
| 2017 | ICCSA | Test Case/Step Minimization for Visual Programming Language Models and Its Application to Space Systems. | Paulo Nolberto dos Santos Alarcon, Valdivino Alexandre de Santiago Jnior |
| 2017 | ICCSA | A Rigorous Evaluation of the Benefits of Usability Improvements Within Model Checking-Aided Software Inspections. | Luciana Brasil Rebelo dos Santos, Valdivino Alexandre de Santiago Jnior, Albino Vieira Freitas |
| 2015 | ICCSA | T-Tuple Reallocation: An Algorithm to Create Mixed-Level Covering Arrays to Support Software Test Case Generation. | Juliana Marino Balera, Valdivino Alexandre de Santiago Jnior |
| 2015 | ICCSA | Towards a Wide Acceptance of Formal Methods to the Design of Safety Critical Software: an Approach Based on UML and Model Checking. | Eduardo Rohde Eras, Luciana Brasil Rebelo dos Santos, Valdivino Alexandre de Santiago Jnior, Nandamudi Lankalapalli Vijaykumar |
| 2008 | IIWAS | WEB-PerformCharts: a collaborative web-based tool for test case generation from statecharts. | Alessandro Oliveira Arantes, Nandamudi Lankalapalli Vijaykumar, Valdivino Alexandre de Santiago Jnior, Danielle Guimares |