Automatic Program Instrumentation for Automatic Verification.

Jesper Amilon Zafer Esen Dilian Gurov Christian Lidström Philipp Rümmer

Published in: CAV (3) (2023)

Keyphrases

data driven
semi automatic
data acquisition
fully automatic
real time
data mining
image processing
computer programs
program execution
machine learning
logic programs
logic programming
automatic programming