Text this: Optimal solutions for variants of graph coverage-related problems in software test design.