A parallel branch and bound approach to test generation