Author of the publication

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)

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

Test case prioritization techniques for model-based testing: a replicated study., , and . Software Quality Journal, 26 (4): 1451-1482 (2018)LTS-BT: a tool to generate and select functional test cases for embedded systems., , , and . SAC, page 1540-1544. ACM, (2008)On Oracles for Interpreting Test Results against Algebraic Specifications.. AMAST, volume 1548 of Lecture Notes in Computer Science, page 502-518. Springer, (1998)On the Use of Fault Abstractions for Assessing System Test Case Prioritization Techniques., , , , and . SAST, page 7:1-7:10. ACM, (2016)Prioritizing test cases for early detection of refactoring faults., , , and . Softw. Test. Verification Reliab., 26 (5): 402-426 (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)Full modification coverage through automatic similarity-based test case selection., , and . Inf. Softw. Technol., (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)Searching for models to evaluate software technology., , , and . CMSBSE@ICSE, page 12-15. IEEE Computer Society, (2013)