GUIDO: Automated Guidance for the Configuration of Deductive Program Verifiers.

Alexander Knüppel Thomas Thüm Ina Schaefer

Published in: FormaliSE@ICSE (2021)

Keyphrases

functional programs
semi automated
fully automated
computer aided
high level
program execution
test cases
context sensitive
abductive inference
real time
optimal configuration
automated analysis
computer programs
explanation based learning
logic programs
software engineering
expert systems
search algorithm
databases