| 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 | 156 | 2013 |
| 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 | 69 | 2012 |
| 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 | 60 | 2006 |
| 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 | 57 | 2008 |
| 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 | 33 | 2020 |
| 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 | 32 | 2019 |
| 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 | 22 | 2007 |
| 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 | 20 | 2017 |
| 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 | 17 | 2020 |
| Dynamically reconfigurable systems: a systematic literature review G Fornari, VA de Santiago Júnior Journal of Intelligent & Robotic Systems 95, 829-849, 2019 | 17 | 2019 |
| 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 | 16 | 2005 |
| 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 | 15 | 2011 |
| On comparing and complementing two MBT approaches M Cristiá, V Santiago, NL Vijaykumar 2010 11th Latin American Test Workshop, 1-6, 2010 | 15 | 2010 |
| 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 | 15 | 2007 |
| Transformation of UML behavioral diagrams to support software model checking LBR Santos, VAS Júnior, NL Vijaykumar arXiv preprint arXiv:1404.0855, 2014 | 14 | 2014 |
| Shortening test case execution time for embedded software V Santiago, WP Silva, NL Vijaykumar 2008 Second International Conference on Secure System Integration and …, 2008 | 14 | 2008 |
| The protoMIRAX hard X-ray imaging balloon experiment. J BRAGA, F D'AMICO, MAC AVILA, ANAV PENACCHIONI, ... Astronomy & Astrophysics (Berlin. Print) 580, A108, 2015 | 12 | 2015 |
| 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 | 10 | 2017 |
| 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 | 9 | 2014 |
| 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 | 8 | 2018 |
