Author of the publication

Executable Documentation: Test-First in Action.

, , , , , , and . ISoLA (2), volume 13702 of Lecture Notes in Computer Science, page 135-156. Springer, (2022)

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

Towards Rigorous Understanding of Neural Networks via Semantics-preserving Transformations., , , and . CoRR, (2023)TOOLympics II: competitions on formal methods., , , and . Int. J. Softw. Tools Technol. Transf., 23 (6): 879-881 (2021)An Introduction to Graphical Modeling of CI/CD Workflows with Rig., , , , , and . ISoLA, volume 13036 of Lecture Notes in Computer Science, page 3-17. Springer, (2021)Executable Documentation: Test-First in Action., , , , , , and . ISoLA (2), volume 13702 of Lecture Notes in Computer Science, page 135-156. Springer, (2022)Product Line Verification via Modal Meta Model Checking., , , and . From Software Engineering to Formal Methods and Tools, and Back, volume 11865 of Lecture Notes in Computer Science, page 313-337. Springer, (2019)Backtracking-Free Design Planning by Automatic Synthesis in METAFrame., and . FASE, volume 1382 of Lecture Notes in Computer Science, page 188-204. Springer, (1998)LearnLib: a library for automata learning and experimentation., , and . FMICS, page 62-71. ACM, (2005)Forest GUMP: A Tool for Explanation., , and . TACAS (2), volume 13244 of Lecture Notes in Computer Science, page 314-331. Springer, (2022)From the How to the What, and . (2008)Active Automata Learning as Black-Box Search and Lazy Partition Refinement., and . A Journey from Process Algebra via Timed Automata to Model Learning, volume 13560 of Lecture Notes in Computer Science, page 321-338. Springer, (2022)