Towards a Notion of Coverage for Incomplete Program-Correctness Proofs

@InProceedings{BeckertHerdaEtAl18,
  author    = {Bernhard Beckert and
               Mihai Herda and
               Stefan Kobischke and
               Mattias Ulbrich},
  editor    = {Tiziana Margaria and
               Bernhard Steffen},
  title     = {Towards a Notion of Coverage for Incomplete Program-Correctness Proofs},
  booktitle = {8th International Symposium on Leveraging Applications of Formal Methods,
               Verification and Validation ({ISoLA} 2018)},
  part      = {II: A Broader View on Verification: From Static to Runtime and Back},
  series    = {LNCS},
  volume    = {11245},
  pages     = {53--63},
  publisher = {Springer},
  year      = {2018},
  month     = oct,
  doi       = {10.1007/978-3-030-03421-4\_4},
  eventdate = {2018-11-05/2018-11-09},
  venue     = {Limassol, Cyprus}
}