Valdivino Alexandre de Santiago Júnior
Valdivino Alexandre de Santiago Júnior
Tecnologista do Instituto Nacional de Pesquisas Espaciais (INPE)
inpe.br üzerinde doğrulanmış e-posta adresine sahip - Ana Sayfa
Başlık
Alıntı yapanlar
Alıntı yapanlar
Yıl
XIPE: the X-ray imaging polarimetry explorer
P Soffitta, X Barcons, R Bellazzini, J Braga, E Costa, GW Fraser, S Gburek, ...
Experimental Astronomy 36 (3), 523-567, 2013
1182013
A practical approach for automated test case generation using statecharts
V Santiago, ASM Amaral, NL Vijaykumar, MF Mattiello-Francisco, ...
Computer Software and Applications Conference, 2006. COMPSAC'06. 30th Annual …, 2006
512006
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
502008
Generating model-based test cases from natural language requirements for space application software
VA de Santiago Júnior, NL Vijaykumar
Software Quality Journal 20 (1), 77-143, 2012
492012
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
192007
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
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
On comparing and complementing two MBT approaches
M Cristiá, V Santiago, NL Vijaykumar
Test Workshop (LATW), 2010 11th Latin American, 1-6, 2010
142010
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
132011
Shortening test case execution time for embedded software
V Santiago, WP Silva, NL Vijaykumar
2008 Second International Conference on Secure System Integration and …, 2008
122008
The protoMIRAX hard X-ray imaging balloon experiment.
J BRAGA, F D'AMICO, MAC AVILA, ANAV PENACCHIONI, ...
Astronomy & Astrophysics (Berlin. Print) 580, A108, 2015
102015
A systematic mapping addressing Hyper-Heuristics within Search-based Software Testing
JM Balera, VA de Santiago Júnior
Information and Software Technology, 2019
92019
H-Switch Cover: a new test criterion to generate test case from finite state machines
ÉF de Souza, VA de Santiago Júnior, NL Vijaykumar
Software Quality Journal, 1-33, 2015
92015
Transformation of UML Behavioral Diagrams to Support Software Model Checking
LBR Santos, VAS Júnior, NL Vijaykumar
arXiv preprint arXiv:1404.0855, 2014
82014
QSEE-TAS: Uma ferramenta para execuçao e relato automatizados de testes de software para aplicaçoes espaciais
WP Silva, V Santiago, MF Mattiello-Francisco, D Passos
XX Brazilian Symposium on Software Engineering-SBES, 2006
82006
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
62014
A controlled experiment for combinatorial testing
JM Balera, VA de Santiago Júnior
Proceedings of the 1st Brazilian Symposium on Systematic and Automated …, 2016
52016
T-tuple reallocation: An algorithm to create mixed-level covering arrays to support software test case generation
JM Balera, VA de Santiago Júnior
International Conference on Computational Science and Its Applications, 503-517, 2015
52015
Test case generation for critical systems through a collaborative web-based tool
AO Arantes, NL Vijaykumar, VA de Santiago Junior, D Guimaraes
2008 International Conference on Computational Intelligence for Modelling …, 2008
52008
Dynamically Reconfigurable Systems: A Systematic Literature Review
G Fornari, VA de Santiago Júnior
Journal of Intelligent & Robotic Systems 95 (3-4), 829-849, 2019
42019
Sistem, işlemi şu anda gerçekleştiremiyor. Daha sonra yeniden deneyin.
Makaleler 1–20