CPT Manager: An Open Environment for Constrained Path-Based Testing. - Matej Klima; Miroslav Bures; Daniel Holotik; Maximilian Herczeg; Marek Miltner; Chad Zanocco (ICSTW, 2025)