libfsmtest An Open Source Library for FSM-Based Testing. - Moritz Bergenthal; Niklas Krafczyk; Jan Peleska 001; Robert Sachtleben (ICTSS, 2021)

PACE Solver Description: GraPA-JAVA. - Moritz Bergenthal; Jona Dirks; Thorben Freese; Jakob Gahde; Enna Gerhard; Mario Grobler; Sebastian Siebertz (IPEC, 2022)