
LCTD: Test-guided proofs for C programs on LLVM
Keywords: Automated testing; Verification; Dynamic symbolic execution; Abstraction refinement; Predicate abstraction; Weakest precondition;