Towards a Notion of Coverage for Incomplete Program-Correctness Proofs.

Bernhard Beckert Mihai Herda Stefan Kobischke Mattias Ulbrich

Published in: ISoLA (2) (2018)

Keyphrases

computer programs
test suite
real time
genetic algorithm
search engine
knowledge base
case study
missing values
program execution