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