Automatic near-optimal generation of software test data for critical paths. - Mina Abdi; Farhad Mardukhi (J. Supercomput., 2025)