CAD Group, Politecnico di Torino. (2024). TestCrush: A Software Test Library Compaction Toolkit (Version 1.0) [Computer software]. https://github.com/cad-polito-it/testcrush