A Practical Approach for Automated Test Case Generation using Statecharts. - Valdivino Alexandre de Santiago Jr.; Ana Silvia Martins do Amaral; Nandamudi L. Vijaykumar; Maria de Fátima Mattiello-Francisco; Eliane Martins; Odnei Cuesta Lopes (COMPSAC (2), 2006)

Verificação e Validação na terceirização de software embarcado em aplicações espaciais. - Maria de Fátima Mattiello-Francisco; Valdivino Alexandre de Santiago Júnior; Ana Maria Ambrosio; Ricardo Costa; Leise Jogaib (SBQS, 2006)

Designing Fault Injection Experiments Using State-Based Model to Test a Space Software. - Ana Maria Ambrosio; Maria de Fátima Mattiello-Francisco; Valdivino Alexandre de Santiago Jr.; Wendell Pereira da Silva; Eliane Martins (LADC, 2007)

QSEE Project: An Experience in Outsourcing Software Development for Space Applications. - Valdivino Alexandre de Santiago Jr.; Maria de Fátima Mattiello-Francisco; Ricardo Costa; Wendell Pereira da Silva; Ana Maria Ambrosio (SEKE, 2007)

Test Case Generation for Critical Systems through a Collaborative Web-Based Tool. - Alessandro Oliveira Arantes; Nandamudi Lankalapalli Vijaykumar; Valdivino Alexandre de Santiago Júnior; Danielle Guimarães (CIMCA/IAWTIC/ISE, 2008)

Evaluation of Test Criteria for Space Application Software Modeling in Statecharts. - Erica Ferreira 001; Valdivino Alexandre de Santiago Jr.; Danielle Guimarães; Nandamudi Lankalapalli Vijaykumar (CIMCA/IAWTIC/ISE, 2008)

An Environment for Automated Test Case Generation from Statechart-based and Finite State Machine-based Behavioral Models. - Valdivino Alexandre de Santiago Jr.; Nandamudi Lankalapalli Vijaykumar; Danielle Guimarães; Ana Silvia Martins do Amaral; Erica Ferreira 001 (ICST Workshops, 2008)

WEB-PerformCharts: a collaborative web-based tool for test case generation from statecharts. - Alessandro Oliveira Arantes; Nandamudi Lankalapalli Vijaykumar; Valdivino Alexandre de Santiago Júnior; Danielle Guimarães (iiWAS, 2008)

Shortening Test Case Execution Time for Embedded Software. - Valdivino Alexandre de Santiago Jr.; Wendell Pereira da Silva; Nandamudi L. Vijaykumar (SSIRI, 2008)

On Comparing and Complementing two MBT approaches. - Maximiliano Cristiá; Valdivino Alexandre de Santiago Jr.; Nandamudi L. Vijaykumar (LATW, 2010)

SOLIMVA: Uma metodologia para geração de casos de testes baseados em modelos a partir de requisitos em linguagem natural e detecção de não completude em especificações de software. - Valdivino Alexandre de Santiago Júnior (2011)

Generating model-based test cases from natural language requirements for space application software. - Valdivino Alexandre de Santiago Júnior; Nandamudi Lankalapalli Vijaykumar (Softw. Qual. J., 2012)

A Formal Verification Tool for UML Behavioral Diagrams. - Luciana Brasil Rebelo dos Santos; Eduardo Rohde Eras; Valdivino Alexandre de Santiago Jr.; Nandamudi Lankalapalli Vijaykumar (ICCSA (1), 2014)

Transformation of UML Behavioral Diagrams to Support Software Model Checking. - Luciana Brasil Rebelo dos Santos; Valdivino Alexandre de Santiago Júnior; Nandamudi Lankalapalli Vijaykumar (FESCA, 2014)

Tool support for generating model-based test cases via web. - Alessandro Oliveira Arantes; Valdivino Alexandre de Santiago Júnior; Nandamudi Lankalapalli Vijaykumar; Érica Ferreira de Souza (Int. J. Web Eng. Technol., 2014)

T-Tuple Reallocation: An Algorithm to Create Mixed-Level Covering Arrays to Support Software Test Case Generation. - Juliana Marino Balera; Valdivino Alexandre de Santiago Júnior (ICCSA (4), 2015)

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 Júnior; Nandamudi Lankalapalli Vijaykumar (ICCSA (4), 2015)

On Proposing a Test Oracle Generator Based on Static and Dynamic Source Code Analysis. - Alessandro Oliveira Arantes; Valdivino Alexandre de Santiago Jr.; Nandamudi Lankalapalli Vijaykumar (QRS Companion, 2015)

Time Performance Formal Evaluation of Complex Systems. - Valdivino Alexandre de Santiago Jr.; Sofiène Tahar (SBMF, 2015)

A Controlled Experiment for Combinatorial Testing. - Juliana Marino Balera; Valdivino Alexandre de Santiago Júnior (SAST, 2016)

Test Case/Step Minimization for Visual Programming Language Models and Its Application to Space Systems. - Paulo Nolberto dos Santos Alarcon; Valdivino Alexandre de Santiago Júnior (ICCSA (6), 2017)

A Rigorous Evaluation of the Benefits of Usability Improvements Within Model Checking-Aided Software Inspections. - Luciana Brasil Rebelo dos Santos; Valdivino Alexandre de Santiago Júnior; Albino Vieira Freitas (ICCSA (5), 2017)

From Statecharts into Model Checking: A Hierarchy-based Translation and Specification Patterns Properties to Generate Test Cases. - Valdivino Alexandre de Santiago Júnior; Felipe Elias Costa da Silva (SAST, 2017)

An algorithm for combinatorial interaction testing: definitions and rigorous evaluations. - Juliana Marino Balera; Valdivino Alexandre de Santiago Júnior (J. Softw. Eng. Res. Dev., 2017)

H-Switch Cover: a new test criterion to generate test case from finite state machines. - Érica Ferreira de Souza; Valdivino Alexandre de Santiago Júnior; Nandamudi Lankalapalli Vijaykumar (Softw. Qual. J., 2017)

A Self-adaptive Approach for Autonomous UAV Navigation via Computer Vision. - Gabriel Fornari; Valdivino Alexandre de Santiago Júnior; Elcio Hideiti Shiguemori (ICCSA (2), 2018)

Testing Environmental Models supported by Machine Learning. - Valdivino Alexandre de Santiago Júnior; Leoni Augusto Romain da Silva; Pedro Ribeiro de Andrade Neto (SAST, 2018)

On the Feasibility of Probabilistic Model Checking to Analyze Battery Sustained Power Supply Systems. - Marina Dioto; Eduardo Rohde Eras; Valdivino Alexandre de Santiago Júnior (ICCSA (2), 2019)

Singularity: A methodology for automatic unit test data generation for C++ applications based on Model Checking counterexamples. - Eduardo Rohde Eras; Valdivino Alexandre de Santiago Júnior; Luciana Brasil Rebelo dos Santos (SAST, 2019)

Software inspections: comparing a formal method based with a classical reading methodology. - Luciana Brasil Rebelo dos Santos; Valdivino Alexandre de Santiago Júnior; Lucas Venezian Povoa; Albino Vieira Freitas; Cleyton De Castro Mario (Int. J. Comput. Appl. Technol., 2019)

A systematic mapping addressing Hyper-Heuristics within Search-based Software Testing. - Juliana Marino Balera; Valdivino Alexandre de Santiago Júnior (Inf. Softw. Technol., 2019)

Dynamically Reconfigurable Systems: A Systematic Literature Review. - Gabriel Fornari; Valdivino Alexandre de Santiago Júnior (J. Intell. Robotic Syst., 2019)

Investigating Multi and Many-Objective Metaheuristics to Support Software Integration Testing. - Camila Pereira Sales; Valdivino Alexandre de Santiago Júnior (SAST, 2020)

Hyper-Heuristics based on Reinforcement Learning, Balanced Heuristic Selection and Group Decision Acceptance. - Valdivino Alexandre de Santiago Júnior; Ender Özcan; Vinicius Renan de Carvalho (Appl. Soft Comput., 2020)

Software requirements testing approaches: a systematic literature review. - Jemison dos Santos; Luiz Eduardo Galvão Martins; Valdivino Alexandre de Santiago Júnior; Lucas Venezian Povoa; Luciana Brasil Rebelo dos Santos (Requir. Eng., 2020)

Classification of the water volume of dams using heterogeneous remote sensing images through a deep convolutional neural network. - Mateus de Souza Miranda; Renato S. Maximiano; Valdivino Alexandre de Santiago Júnior; Thales Sehn Körting; Leila M. G. Fonseca (GEOINFO, 2021)

Deep Convolutional Neural Network for Classifying Satellite Images with Heterogeneous Spatial Resolutions. - Mateus de Souza Miranda; Valdivino Alexandre de Santiago Jr.; Thales Sehn Körting; Rodrigo Leonardi; Moisés Laurence de Freitas (ICCSA (7), 2021)

Aircraft Navigation Systems Safety Assessment via Probabilistic Model Checking. - Gabriel Duarte Pasa; Valdivino Alexandre de Santiago Júnior (ICCSA (4), 2021)

A Method and Experiment to evaluate Deep Neural Networks as Test Oracles for Scientific Software. - Valdivino Alexandre de Santiago Júnior (AST@ICSE, 2022)

Artificial Neural Networks to Analyze Energy Consumption and Temperature of UAV On-Board Computers Executing Algorithms for Object Detection. - Renato S. Maximiano; Valdivino Alexandre de Santiago Júnior; Elcio Hideiti Shiguemori (BRACIS (2), 2022)

Multiperspective Web Testing Supported by a Generation Hyper-Heuristic. - Juliana Marino Balera; Valdivino Alexandre de Santiago Júnior (ICCSA (Workshops 5), 2022)

A High-Spatial Resolution Dataset and Few-shot Deep Learning Benchmark for Image Classification. - Mateus de Souza Miranda; Lucas Fernando Alvarenga e Silva; Samuel Felipe dos Santos; Valdivino Alexandre de Santiago Júnior; Thales Sehn Körting; Jurandy Almeida (SIBGRAPI, 2022)

Many-objective test case generation for graphical user interface applications via search-based and model-based testing. - Valdivino Alexandre de Santiago Júnior; Ender Özcan; Juliana Marino Balera (Expert Syst. Appl., 2022)

Deep learning techniques for blind image super-resolution: A high-scale multi-domain perspective evaluation. - Valdivino Alexandre de Santiago Júnior (CoRR, 2023)

Throughput Maximization for a Multicarrier Cell-Less NOMA Network: A Framework Based on Ensemble Metaheuristics. - Fábio de Oliveira Torres; Valdivino Alexandre de Santiago Júnior; Daniel Benevides da Costa; Diego Lisboa Cardoso; Roberto Célio Limão de Oliveira (IEEE Trans. Wirel. Commun., 2023)

Radio resource allocation in a 6G D-OMA network with imperfect SIC: A framework aided by a bi-objective hyper-heuristic. - Fábio de Oliveira Torres; Valdivino Alexandre de Santiago Júnior; Daniel B. da Costa 001; Diego Lisboa Cardoso; Roberto Célio Limão de Oliveira (Eng. Appl. Artif. Intell., 2023)

CerraData-4 MM: A Multimodal Benchmark Dataset on Cerrado for Land Use and Land Cover Classification. - Mateus de Souza Miranda; Ronny Hänsch; Valdivino Alexandre de Santiago Júnior; Thales Sehn Körting; Erison Carlos dos Santos Monteiro (IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens., 2025)

CerraData-4MM: A multimodal benchmark dataset on Cerrado for land use and land cover classification. - Mateus de Souza Miranda; Ronny Hänsch; Valdivino Alexandre de Santiago Júnior; Thales Sehn Körting; Erison Carlos dos Santos Monteiro (CoRR, 2025)