An Executable Mechanised Formalisation of an Adaptive State Counting Algorithm

von Sachtleben, Robert
Veröffentlicht in ICTSS (32. : 2020 : Online) Testing software and systems (2020)

Conformance Relations Between Input/Output Languages

von Huang, Wen-ling
Veröffentlicht in Colloquium for Prof. Dr. Jan Peleska (2023 : Bremen) Applicable formal methods for safe industrial products (2023)

An approach for the verification and synthesis of complete test generation algorithms for finite state machines

von Sachtleben, Robert
Veröffentlicht 2022

libfsmtest An Open Source Library for FSM-Based Testing

von Bergenthal, Moritz
Veröffentlicht in ICTSS (33. : 2021 : Online) Testing software and systems (2022)