Title: An alogorithm for minimal test-set generation