ATSM: A coverage-based framework and a tool for test suite minimization. - Yaroslav Alekseev; Mikhail Onischuck; Arseniy Zorin; Vitaliy Chernyi; Evgeniy Iliyn; Vladimir M. Itsykson (J. Softw. Evol. Process., 2024)