( en | de | ru )

 

Disambiguation of "de Santiago Jr., Valdivino Alexandre"

Author of the publication

copydeleteadd this publication to your clipboard
An Environment for Automated Test Case Generation from Statechart-based and Finite State Machine-based Behavioral Models.

, , , , and . ICST Workshops, page 63-72. IEEE Computer Society, (2008)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Foued Jrad

Santiago Suppan

Santiago Ewig

Beatrix Santiago

Santiago Martinez

 

Other publications of authors with the same name

Deep Convolutional Neural Network for Classifying Satellite Images with Heterogeneous Spatial Resolutions., , , , and . ICCSA (7), volume 12955 of Lecture Notes in Computer Science, page 519-530. Springer, (2021)On Comparing and Complementing two MBT approaches., , and . LATW, page 1-6. IEEE, (2010)Evaluation of Test Criteria for Space Application Software Modeling in Statecharts., , , and . CIMCA/IAWTIC/ISE, page 157-162. IEEE Computer Society, (2008)Designing Fault Injection Experiments Using State-Based Model to Test a Space Software., , , , and . LADC, volume 4746 of Lecture Notes in Computer Science, page 170-178. Springer, (2007)A Practical Approach for Automated Test Case Generation using Statecharts., , , , , and . COMPSAC (2), page 183-188. IEEE Computer Society, (2006)0-7695-2655-1.On Proposing a Test Oracle Generator Based on Static and Dynamic Source Code Analysis., , and . QRS Companion, page 144-152. IEEE, (2015)Shortening Test Case Execution Time for Embedded Software., , and . SSIRI, page 81-88. IEEE Computer Society, (2008)A Formal Verification Tool for UML Behavioral Diagrams., , , and . ICCSA (1), volume 8579 of Lecture Notes in Computer Science, page 696-711. Springer, (2014)QSEE Project: An Experience in Outsourcing Software Development for Space Applications., , , , and . SEKE, page 51-56. Knowledge Systems Institute Graduate School, (2007)An Environment for Automated Test Case Generation from Statechart-based and Finite State Machine-based Behavioral Models., , , , and . ICST Workshops, page 63-72. IEEE Computer Society, (2008)