Valdivino Alexandre de Santiago Júnior

38 papers C 2Journal 16Unranked 19
YearRankTypeTitle / Venue / Authors
2025 J jnl
CerraData-4 MM: A Multimodal Benchmark Dataset on Cerrado for Land Use and Land Cover Classification.
IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens.
Mateus de Souza Miranda, Ronny Hänsch, Valdivino Alexandre de Santiago Júnior, Thales Sehn Körting, Erison Carlos dos Santos Monteiro
2025 J jnl
CerraData-4MM: A multimodal benchmark dataset on Cerrado for land use and land cover classification.
CoRR
Mateus de Souza Miranda, Ronny Hänsch, Valdivino Alexandre de Santiago Júnior, Thales Sehn Körting, Erison Carlos dos Santos Monteiro
2025 J jnl
Exploring Machine Learning, Deep Learning, and Explainable AI Methods for Seasonal Precipitation Prediction in South America.
CoRR
Matheus Corrêa Domingos, Valdivino Alexandre de Santiago Júnior, Juliana Aparecida Anochi, Elcio Hideiti Shiguemori, Luísa Mirelle Costa dos Santos, Hércules Carlos dos Santos Pereira, André Estevam Costa Oliveira
2023 J jnl
Deep learning techniques for blind image super-resolution: A high-scale multi-domain perspective evaluation.
CoRR
Valdivino Alexandre de Santiago Júnior
2023 J jnl
Radio resource allocation in a 6G D-OMA network with imperfect SIC: A framework aided by a bi-objective hyper-heuristic.
Eng. Appl. Artif. Intell.
Fábio de Oliveira Torres, Valdivino Alexandre de Santiago Júnior, Daniel B. da Costa, Diego Lisboa Cardoso, Roberto Célio Limão de Oliveira
2023 J jnl
Throughput Maximization for a Multicarrier Cell-Less NOMA Network: A Framework Based on Ensemble Metaheuristics.
IEEE Trans. Wirel. Commun.
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
2022 — conf
A High-Spatial Resolution Dataset and Few-shot Deep Learning Benchmark for Image Classification.
SIBGRAPI
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
2022 C conf
A Method and Experiment to evaluate Deep Neural Networks as Test Oracles for Scientific Software.
AST
Valdivino Alexandre de Santiago Júnior
2022 — conf
Artificial Neural Networks to Analyze Energy Consumption and Temperature of UAV On-Board Computers Executing Algorithms for Object Detection.
BRACIS (2)
Renato S. Maximiano, Valdivino Alexandre de Santiago Júnior, Elcio Hideiti Shiguemori
2022 J jnl
Many-objective test case generation for graphical user interface applications via search-based and model-based testing.
Expert Syst. Appl.
Valdivino Alexandre de Santiago Júnior, Ender Özcan, Juliana Marino Balera
2022 — conf
Multiperspective Web Testing Supported by a Generation Hyper-Heuristic.
ICCSA (Workshops 5)
Juliana Marino Balera, Valdivino Alexandre de Santiago Júnior
2021 — conf
Aircraft Navigation Systems Safety Assessment via Probabilistic Model Checking.
ICCSA (4)
Gabriel Duarte Pasa, Valdivino Alexandre de Santiago Júnior
2021 — conf
Classification of the water volume of dams using heterogeneous remote sensing images through a deep convolutional neural network.
GEOINFO
Mateus de Souza Miranda, Renato S. Maximiano, Valdivino Alexandre de Santiago Júnior, Thales Sehn Körting, Leila M. G. Fonseca
2020 J jnl
Hyper-Heuristics based on Reinforcement Learning, Balanced Heuristic Selection and Group Decision Acceptance.
Appl. Soft Comput.
Valdivino Alexandre de Santiago Júnior, Ender Özcan, Vinicius Renan de Carvalho
2020 — conf
Investigating Multi and Many-Objective Metaheuristics to Support Software Integration Testing.
SAST
Camila Pereira Sales, Valdivino Alexandre de Santiago Júnior
2020 J jnl
Software requirements testing approaches: a systematic literature review.
Requir. Eng.
Jemison dos Santos, Luiz Eduardo Galvão Martins, Valdivino Alexandre de Santiago Júnior, Lucas Venezian Povoa, Luciana Brasil Rebelo dos Santos
2019 J jnl
A systematic mapping addressing Hyper-Heuristics within Search-based Software Testing.
Inf. Softw. Technol.
Juliana Marino Balera, Valdivino Alexandre de Santiago Júnior
2019 J jnl
Dynamically Reconfigurable Systems: A Systematic Literature Review.
J. Intell. Robotic Syst.
Gabriel Fornari, Valdivino Alexandre de Santiago Júnior
2019 — conf
On the Feasibility of Probabilistic Model Checking to Analyze Battery Sustained Power Supply Systems.
ICCSA (2)
Marina Dioto, Eduardo Rohde Eras, Valdivino Alexandre de Santiago Júnior
2019 — conf
Singularity: A methodology for automatic unit test data generation for C++ applications based on Model Checking counterexamples.
SAST
Eduardo Rohde Eras, Valdivino Alexandre de Santiago Júnior, Luciana Brasil Rebelo dos Santos
2019 J jnl
Software inspections: comparing a formal method based with a classical reading methodology.
Int. J. Comput. Appl. Technol.
Luciana Brasil Rebelo dos Santos, Valdivino Alexandre de Santiago Júnior, Lucas Venezian Povoa, Albino Vieira Freitas, Cleyton De Castro Mario
2018 — conf
A Self-adaptive Approach for Autonomous UAV Navigation via Computer Vision.
ICCSA (2)
Gabriel Fornari, Valdivino Alexandre de Santiago Júnior, Elcio Hideiti Shiguemori
2018 — conf
Testing Environmental Models supported by Machine Learning.
SAST
Valdivino Alexandre de Santiago Júnior, Leoni Augusto Romain da Silva, Pedro Ribeiro de Andrade Neto
2017 — conf
A Rigorous Evaluation of the Benefits of Usability Improvements Within Model Checking-Aided Software Inspections.
ICCSA (5)
Luciana Brasil Rebelo dos Santos, Valdivino Alexandre de Santiago Júnior, Albino Vieira Freitas
2017 J jnl
An algorithm for combinatorial interaction testing: definitions and rigorous evaluations.
J. Softw. Eng. Res. Dev.
Juliana Marino Balera, Valdivino Alexandre de Santiago Júnior
2017 — conf
From Statecharts into Model Checking: A Hierarchy-based Translation and Specification Patterns Properties to Generate Test Cases.
SAST
Valdivino Alexandre de Santiago Júnior, Felipe Elias Costa da Silva
2017 J jnl
H-Switch Cover: a new test criterion to generate test case from finite state machines.
Softw. Qual. J.
Érica Ferreira de Souza, Valdivino Alexandre de Santiago Júnior, Nandamudi Lankalapalli Vijaykumar
2017 — conf
Test Case/Step Minimization for Visual Programming Language Models and Its Application to Space Systems.
ICCSA (6)
Paulo Nolberto dos Santos Alarcon, Valdivino Alexandre de Santiago Júnior
2016 — conf
A Controlled Experiment for Combinatorial Testing.
SAST
Juliana Marino Balera, Valdivino Alexandre de Santiago Júnior
2015 — conf
T-Tuple Reallocation: An Algorithm to Create Mixed-Level Covering Arrays to Support Software Test Case Generation.
ICCSA (4)
Juliana Marino Balera, Valdivino Alexandre de Santiago Júnior
2015 — conf
Towards a Wide Acceptance of Formal Methods to the Design of Safety Critical Software: an Approach Based on UML and Model Checking.
ICCSA (4)
Eduardo Rohde Eras, Luciana Brasil Rebelo dos Santos, Valdivino Alexandre de Santiago Júnior, Nandamudi Lankalapalli Vijaykumar
2014 J jnl
Tool support for generating model-based test cases via web.
Int. J. Web Eng. Technol.
Alessandro Oliveira Arantes, Valdivino Alexandre de Santiago Júnior, Nandamudi Lankalapalli Vijaykumar, Érica Ferreira de Souza
2014 — conf
Transformation of UML Behavioral Diagrams to Support Software Model Checking.
FESCA
Luciana Brasil Rebelo dos Santos, Valdivino Alexandre de Santiago Júnior, Nandamudi Lankalapalli Vijaykumar
2012 J jnl
Generating model-based test cases from natural language requirements for space application software.
Softw. Qual. J.
Valdivino Alexandre de Santiago Júnior, Nandamudi Lankalapalli Vijaykumar
2011 — —
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
2008 — conf
Test Case Generation for Critical Systems through a Collaborative Web-Based Tool.
CIMCA/IAWTIC/ISE
Alessandro Oliveira Arantes, Nandamudi Lankalapalli Vijaykumar, Valdivino Alexandre de Santiago Júnior, Danielle Guimarães
2008 C conf
WEB-PerformCharts: a collaborative web-based tool for test case generation from statecharts.
iiWAS
Alessandro Oliveira Arantes, Nandamudi Lankalapalli Vijaykumar, Valdivino Alexandre de Santiago Júnior, Danielle Guimarães
2006 — conf
Verificação e Validação na terceirização de software embarcado em aplicações espaciais.
SBQS
Maria de Fátima Mattiello-Francisco, Valdivino Alexandre de Santiago Júnior, Ana Maria Ambrosio, Ricardo Costa, Leise Jogaib