Cohesive Coverage Management Leveraging Formal Test Plans door Aritra Hazra & P.P. Chakrabarti