Moritz Bergenthal

Publication Activity (10 Years)

Years Active: 2021-2022
Publications (10 Years): 2

Top Topics

Software Package

Shape Description

Top Venues

Publications

Moritz Bergenthal, Jona Dirks, Thorben Freese, Jakob Gahde, Enna Gerhard, Mario Grobler, Sebastian Siebertz
PACE Solver Description: GraPA-JAVA. IPEC (2022)
Moritz Bergenthal, Niklas Krafczyk, Jan Peleska, Robert Sachtleben
libfsmtest An Open Source Library for FSM-Based Testing. ICTSS (2021)