Valdivino Alexandre de Santiago Jr.

Publication Activity (10 Years)

Years Active: 2006-2021
Publications (10 Years): 1

Top Topics

Formal Evaluation

Complex Systems

Top Venues

Publications

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