Author of the publication

On the Influence of Model Structure and Test Case Profile on the Prioritization of Test Cases in the Context of Model-Based Testing.

, , and . SBES, page 119-128. IEEE Computer Society, (2013)

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.

 

Other publications of authors with the same name

Insights from the application of Exploratory Tests in the daily life of distributed teams: an experience report., , and . J. Softw. Eng. Res. Dev., (2023)Searching for models to evaluate software technology., , , and . CMSBSE@ICSE, page 12-15. IEEE Computer Society, (2013)On the Use of Fault Abstractions for Assessing System Test Case Prioritization Techniques., , , , and . SAST, page 7:1-7:10. ACM, (2016)Test case generation by means of UML sequence diagrams and labeled transition systems., , and . SMC, page 1292-1297. IEEE, (2007)Component-based integration testing from UML interaction diagrams., , , , and . SMC, page 2679-2686. IEEE, (2007)Automação da Técnica de Inspeção Guiada Usando MDA e Simulação de Modelos., , and . SBCARS, page 181-194. SBC - Brazilian Computer Society, (2009)An Initiative to Improve Reproducibility and Empirical Evaluation of Software Testing Techniques., , and . ICSE (2), page 575-578. IEEE Computer Society, (2015)ISBN 978-1-4799-1934-5 (Vol. I + II ???).Test Case Generation of Embedded Real-Time Systems with Interruptions for FreeRTOS., , , and . SBMF, volume 5902 of Lecture Notes in Computer Science, page 54-69. Springer, (2009)On Oracles for Interpreting Test Results against Algebraic Specifications.. AMAST, volume 1548 of Lecture Notes in Computer Science, page 502-518. Springer, (1998)LTS-BT: a tool to generate and select functional test cases for embedded systems., , , and . SAC, page 1540-1544. ACM, (2008)