Author of the publication

Industrial-Strength Model-Based Testing of Safety-Critical Systems.

, and . FM, volume 9995 of Lecture Notes in Computer Science, page 3-22. (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

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)A Mechanised Proof of an Adaptive State Counting Algorithm., , , and . ICTSS, volume 11812 of Lecture Notes in Computer Science, page 176-193. Springer, (2019)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)Complete Property-Oriented Module Testing., , , , , and . ICTSS, volume 14131 of Lecture Notes in Computer Science, page 183-201. Springer, (2023)A Novel Approach to HW/SW Integration Testing of Route-Based Interlocking System Controllers., , and . RSSRail, volume 9707 of Lecture Notes in Computer Science, page 32-49. Springer, (2016)