LCTD: Test-guided proofs for C programs on LLVM.

Olli Saarikivi Keijo Heljanko

Published in: J. Log. Algebraic Methods Program. (2016)

Keyphrases

computer programs
set of test cases
database
search engine
information systems
website
database systems
bayesian networks
operating system
statistical tests
statistical significance
formal proofs