Valdivino Alexandre de Santiago Jr.

11 papers C 1Unranked 10
YearRankTypeTitle / Venue / Authors
2021 — conf
Deep Convolutional Neural Network for Classifying Satellite Images with Heterogeneous Spatial Resolutions.
ICCSA (7)
Mateus de Souza Miranda, Valdivino Alexandre de Santiago Jr., Thales Sehn Körting, Rodrigo Leonardi, Moisés Laurence de Freitas
2015 — conf
On Proposing a Test Oracle Generator Based on Static and Dynamic Source Code Analysis.
QRS Companion
Alessandro Oliveira Arantes, Valdivino Alexandre de Santiago Jr., Nandamudi Lankalapalli Vijaykumar
2015 — conf
Time Performance Formal Evaluation of Complex Systems.
SBMF
Valdivino Alexandre de Santiago Jr., Sofiène Tahar
2014 — conf
A Formal Verification Tool for UML Behavioral Diagrams.
ICCSA (1)
Luciana Brasil Rebelo dos Santos, Eduardo Rohde Eras, Valdivino Alexandre de Santiago Jr., Nandamudi Lankalapalli Vijaykumar
2010 — conf
On Comparing and Complementing two MBT approaches.
LATW
Maximiliano Cristiá, Valdivino Alexandre de Santiago Jr., Nandamudi L. Vijaykumar
2008 — conf
An Environment for Automated Test Case Generation from Statechart-based and Finite State Machine-based Behavioral Models.
ICST Workshops
Valdivino Alexandre de Santiago Jr., Nandamudi Lankalapalli Vijaykumar, Danielle Guimarães, Ana Silvia Martins do Amaral, Erica Ferreira
2008 — conf
Evaluation of Test Criteria for Space Application Software Modeling in Statecharts.
CIMCA/IAWTIC/ISE
Erica Ferreira, Valdivino Alexandre de Santiago Jr., Danielle Guimarães, Nandamudi Lankalapalli Vijaykumar
2008 — conf
Shortening Test Case Execution Time for Embedded Software.
SSIRI
Valdivino Alexandre de Santiago Jr., Wendell Pereira da Silva, Nandamudi L. Vijaykumar
2007 — conf
Designing Fault Injection Experiments Using State-Based Model to Test a Space Software.
LADC
Ana Maria Ambrosio, Maria de Fátima Mattiello-Francisco, Valdivino Alexandre de Santiago Jr., Wendell Pereira da Silva, Eliane Martins
2007 C conf
QSEE Project: An Experience in Outsourcing Software Development for Space Applications.
SEKE
Valdivino Alexandre de Santiago Jr., Maria de Fátima Mattiello-Francisco, Ricardo Costa, Wendell Pereira da Silva, Ana Maria Ambrosio
2006 — conf
A Practical Approach for Automated Test Case Generation using Statecharts.
COMPSAC (2)
Valdivino Alexandre de Santiago Jr., Ana Silvia Martins do Amaral, Nandamudi L. Vijaykumar, Maria de Fátima Mattiello-Francisco, Eliane Martins, Odnei Cuesta Lopes