Optimal solutions for variants of graph coverage-related problems in software test design. - Polański, Artur; Roman, Adam; Zelek, Jakub (Expert Systems with Applications, 2025)