Optimal solutions for variants of graph coverage-related problems in software test design. - Artur Polanski; Adam Roman; Jakub Zelek (Expert Syst. Appl., 2025)