Follow
Valdivino Alexandre de Santiago Júnior
Valdivino Alexandre de Santiago Júnior
Pesquisador e Desenvolvedor do Instituto Nacional de Pesquisas Espaciais (INPE)
Verified email at inpe.br - Homepage
Title
Cited by
Cited by
Year
XIPE: the X-ray imaging polarimetry explorer
P Soffitta, X Barcons, R Bellazzini, J Braga, E Costa, GW Fraser, S Gburek, ...
Experimental Astronomy 36, 523-567, 2013
1512013
Generating model-based test cases from natural language requirements for space application software
VA Santiago Júnior, NL Vijaykumar
Software Quality Journal 20, 77-143, 2012
652012
A practical approach for automated test case generation using statecharts
V Santiago, ASM Do Amaral, NL Vijaykumar, MF Mattiello-Francisco, ...
30th Annual International Computer Software and Applications Conference …, 2006
602006
An environment for automated test case generation from statechart-based and finite state machine-based behavioral models
V Santiago, NL Vijaykumar, D Guimarăes, AS Amaral, E Ferreira
Software Testing Verification and Validation Workshop, 2008. ICSTW'08. IEEE …, 2008
572008
A systematic mapping addressing hyper-heuristics within search-based software testing
JM Balera, VA de Santiago Júnior
Information and Software Technology 114, 176-189, 2019
322019
Hyper-heuristics based on reinforcement learning, balanced heuristic selection and group decision acceptance
VA de Santiago Junior, E Özcan, VR de Carvalho
Applied Soft Computing 97, 106760, 2020
292020
Designing fault injection experiments using state-based model to test a space software
A Ambrosio, F Mattiello-Francisco, V Santiago, W Silva, E Martins
Dependable Computing, 170-178, 2007
222007
H-Switch Cover: a new test criterion to generate test case from finite state machines
ÉF Souza, VA Santiago Júnior, NL Vijaykumar
Software Quality Journal 25, 373-405, 2017
192017
Software requirements testing approaches: a systematic literature review
J dos Santos, LEG Martins, VA de Santiago Júnior, LV Povoa, ...
Requirements Engineering 25 (3), 317-337, 2020
162020
Dynamically reconfigurable systems: a systematic literature review
G Fornari, VA de Santiago Júnior
Journal of Intelligent & Robotic Systems 95, 829-849, 2019
162019
A methodology for designing fault injection experiments as an addition to communication systems conformance testing
AM Ambrosio, E Martins, V Santiago, MF Mattiello-Francisco, ...
Proc. of the First Workshop on Dependable Software–Tools and Methods in the …, 2005
162005
SOLIMVA: A methodology for generating model-based test cases from natural language requirements and detecting incompleteness in software specifications
VA de Santiago Júnior
Instituto Nacional de Pesquisas Espaciais (INPE), 2011
152011
On comparing and complementing two MBT approaches
M Cristiá, V Santiago, NL Vijaykumar
2010 11th Latin American Test Workshop, 1-6, 2010
152010
QSEE Project: An Experience in Outsourcing Software Development for Space Applications
V Santiago, MF Mattiello-Francisco, R Costa, WP Silva, AM Ambrosio
The Nineteenth International Conference on Software Engineering & Knowledge …, 2007
152007
Shortening test case execution time for embedded software
V Santiago, WP Silva, NL Vijaykumar
2008 Second International Conference on Secure System Integration and …, 2008
142008
Transformation of UML behavioral diagrams to support software model checking
LBR Santos, VAS Júnior, NL Vijaykumar
arXiv preprint arXiv:1404.0855, 2014
132014
The protoMIRAX hard X-ray imaging balloon experiment.
J BRAGA, F D'AMICO, MAC AVILA, ANAV PENACCHIONI, ...
Astronomy & Astrophysics (Berlin. Print) 580, A108, 2015
112015
An algorithm for combinatorial interaction testing: definitions and rigorous evaluations
JM Balera, VA Santiago Júnior
Journal of Software Engineering Research and Development 5, 1-41, 2017
102017
Tool support for generating model-based test cases via web
AO Arantes, VA de Santiago, NL Vijaykumar, EF De Souza
International Journal of Web Engineering and Technology iiWAS 9 (1), 62-96, 2014
92014
Testing environmental models supported by machine learning
VA de Santiago, LAR da Silva, PR de Andrade Neto
Proceedings of the III Brazilian Symposium on Systematic and Automated …, 2018
82018
The system can't perform the operation now. Try again later.
Articles 1–20