Author of the publication

Complete model-based equivalence class testing.

, and . Int. J. Softw. Tools Technol. Transf., 18 (3): 265-283 (2016)

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

A Mechanised Proof of an Adaptive State Counting Algorithm., , , and . ICTSS, volume 11812 of Lecture Notes in Computer Science, page 176-193. Springer, (2019)An Optimised Complete Strategy for Testing Symbolic Finite State Machines., , and . FSEN, volume 14155 of Lecture Notes in Computer Science, page 55-71. Springer, (2023)Complete Model-Based Equivalence Class Testing for the ETCS Ceiling Speed Monitor., , , , , , and . ICFEM, volume 8829 of Lecture Notes in Computer Science, page 380-395. Springer, (2014)Model-based testing strategies and their (in)dependence on syntactic model representations., and . Int. J. Softw. Tools Technol. Transf., 20 (4): 441-465 (2018)Model-Based Testing for Avionic Systems Proven Benefits and Further Challenges., , and . ISoLA (4), volume 11247 of Lecture Notes in Computer Science, page 82-103. Springer, (2018)Exhaustive property oriented model-based testing with symbolic finite state machines., , and . Sci. Comput. Program., (January 2024)Conformance Relations Between Input/Output Languages., and . Applicable Formal Methods for Safe Industrial Products, volume 14165 of Lecture Notes in Computer Science, page 49-67. Springer, (2023)Exhaustive Model-Based Equivalence Class Testing., and . ICTSS, volume 8254 of Lecture Notes in Computer Science, page 49-64. Springer, (2013)A Stochastic Approach to Classification Error Estimates in Convolutional Neural Networks., , , and . CoRR, (2024)Safety-complete test suites., , and . Softw. Qual. J., 27 (2): 589-613 (2019)