Valdivino Alexandre de Santiago Júnior
Orcid: 0000-0002-4277-021X
According to our database1,
Valdivino Alexandre de Santiago Júnior
authored at least 47 papers
between 2006 and 2025.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
-
on dl.acm.org
On csauthors.net:
Bibliography
2025
CerraData-4MM: A multimodal benchmark dataset on Cerrado for land use and land cover classification.
CoRR, February, 2025
2023
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., March, 2023
Throughput Maximization for a Multicarrier Cell-Less NOMA Network: A Framework Based on Ensemble Metaheuristics.
IEEE Trans. Wirel. Commun., 2023
Deep learning techniques for blind image super-resolution: A high-scale multi-domain perspective evaluation.
CoRR, 2023
2022
Many-objective test case generation for graphical user interface applications via search-based and model-based testing.
Expert Syst. Appl., 2022
A High-Spatial Resolution Dataset and Few-shot Deep Learning Benchmark for Image Classification.
Proceedings of the 35th SIBGRAPI Conference on Graphics, Patterns and Images, 2022
Proceedings of the Computational Science and Its Applications - ICCSA 2022 Workshops, 2022
Artificial Neural Networks to Analyze Energy Consumption and Temperature of UAV On-Board Computers Executing Algorithms for Object Detection.
Proceedings of the Intelligent Systems - 11th Brazilian Conference, 2022
A Method and Experiment to evaluate Deep Neural Networks as Test Oracles for Scientific Software.
Proceedings of the IEEE/ACM International Conference on Automation of Software Test, 2022
2021
Proceedings of the Computational Science and Its Applications - ICCSA 2021, 2021
Deep Convolutional Neural Network for Classifying Satellite Images with Heterogeneous Spatial Resolutions.
Proceedings of the Computational Science and Its Applications - ICCSA 2021, 2021
Classification of the water volume of dams using heterogeneous remote sensing images through a deep convolutional neural network.
Proceedings of the XXII Brazilian Symposium on Geoinformatics - GEOINFO 2020, São José dos Campos, SP, Brazil, online, November 29, 2021
2020
Requir. Eng., 2020
Hyper-Heuristics based on Reinforcement Learning, Balanced Heuristic Selection and Group Decision Acceptance.
Appl. Soft Comput., 2020
Investigating Multi and Many-Objective Metaheuristics to Support Software Integration Testing.
Proceedings of the SAST 20: 5th Brazilian Symposium on Systematic and Automated Software Testing, 2020
2019
J. Intell. Robotic Syst., 2019
A systematic mapping addressing Hyper-Heuristics within Search-based Software Testing.
Inf. Softw. Technol., 2019
Software inspections: comparing a formal method based with a classical reading methodology.
Int. J. Comput. Appl. Technol., 2019
Singularity: A methodology for automatic unit test data generation for C++ applications based on Model Checking counterexamples.
Proceedings of the IV Brazilian Symposium on Systematic and Automated Software Testing, 2019
On the Feasibility of Probabilistic Model Checking to Analyze Battery Sustained Power Supply Systems.
Proceedings of the Computational Science and Its Applications - ICCSA 2019, 2019
2018
Proceedings of the III Brazilian Symposium on Systematic and Automated Software Testing, 2018
Proceedings of the Computational Science and Its Applications - ICCSA 2018, 2018
2017
H-Switch Cover: a new test criterion to generate test case from finite state machines.
Softw. Qual. J., 2017
An algorithm for combinatorial interaction testing: definitions and rigorous evaluations.
J. Softw. Eng. Res. Dev., 2017
From Statecharts into Model Checking: A Hierarchy-based Translation and Specification Patterns Properties to Generate Test Cases.
Proceedings of the 2nd Brazilian Symposium on Systematic and Automated Software Testing, 2017
A Rigorous Evaluation of the Benefits of Usability Improvements Within Model Checking-Aided Software Inspections.
Proceedings of the Computational Science and Its Applications - ICCSA 2017, 2017
Test Case/Step Minimization for Visual Programming Language Models and Its Application to Space Systems.
Proceedings of the Computational Science and Its Applications - ICCSA 2017, 2017
2016
Proceedings of the 1st Brazilian Symposium on Systematic and Automated Software Testing, 2016
2015
Proceedings of the Formal Methods: Foundations and Applications - 18th Brazilian Symposium, 2015
On Proposing a Test Oracle Generator Based on Static and Dynamic Source Code Analysis.
Proceedings of the 2015 IEEE International Conference on Software Quality, 2015
Towards a Wide Acceptance of Formal Methods to the Design of Safety Critical Software: an Approach Based on UML and Model Checking.
Proceedings of the Computational Science and Its Applications - ICCSA 2015, 2015
T-Tuple Reallocation: An Algorithm to Create Mixed-Level Covering Arrays to Support Software Test Case Generation.
Proceedings of the Computational Science and Its Applications - ICCSA 2015, 2015
2014
Int. J. Web Eng. Technol., 2014
Proceedings of the Proceedings 11th International Workshop on Formal Engineering approaches to Software Components and Architectures, 2014
Proceedings of the Computational Science and Its Applications - ICCSA 2014 - 14th International Conference, Guimarães, Portugal, June 30, 2014
2012
Generating model-based test cases from natural language requirements for space application software.
Softw. Qual. J., 2012
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.
PhD thesis, 2011
2010
Proceedings of the 11th Latin American Test Workshop, 2010
2008
Proceedings of the Second International Conference on Secure System Integration and Reliability Improvement, 2008
WEB-PerformCharts: a collaborative web-based tool for test case generation from statecharts.
Proceedings of the iiWAS'2008, 2008
An Environment for Automated Test Case Generation from Statechart-based and Finite State Machine-based Behavioral Models.
Proceedings of the First International Conference on Software Testing Verification and Validation, 2008
Proceedings of the 2008 International Conferences on Computational Intelligence for Modelling, 2008
Proceedings of the 2008 International Conferences on Computational Intelligence for Modelling, 2008
2007
QSEE Project: An Experience in Outsourcing Software Development for Space Applications.
Proceedings of the Nineteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2007), 2007
Designing Fault Injection Experiments Using State-Based Model to Test a Space Software.
Proceedings of the Dependable Computing, Third Latin-American Symposium, 2007
2006
Verificação e Validação na terceirização de software embarcado em aplicações espaciais.
Proceedings of the 5th Brazilian Symposium on Software Quality, 2006
Proceedings of the 30th Annual International Computer Software and Applications Conference, 2006