Towards a Notion of Coverage for Incomplete Program-Correctness Proofs. - Bernhard Beckert; Mihai Herda; Stefan Kobischke; Mattias Ulbrich (ISoLA (2), 2018)