Author of the publication

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)

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

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)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)Prioritizing test cases for early detection of refactoring faults., , , and . Softw. Test. Verification Reliab., 26 (5): 402-426 (2016)Test case prioritization techniques for model-based testing: a replicated study., , and . Software Quality Journal, 26 (4): 1451-1482 (2018)On the Use of Fault Abstractions for Assessing System Test Case Prioritization Techniques., , , , and . SAST, page 7:1-7:10. ACM, (2016)Full modification coverage through automatic similarity-based test case selection., , and . Inf. Softw. Technol., (2016)Insights from the application of Exploratory Tests in the daily life of distributed teams: an experience report., , and . J. Softw. Eng. Res. Dev., (2023)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)