Matej Klima, Miroslav Bures, Daniel Holotik, Maximilian Herczeg, Marek Miltner, Chad Zanocco. CPT Manager: An Open Environment for Constrained Path-Based Testing. In IEEE International Conference on Software Testing, Verification and Validation, ICST 2025 - Workshops, Naples, Italy, March 31 - April 4, 2025. pages 50-53, IEEE, 2025. [doi]
Abstract is missing.