2022
Automated Program Analysis: Revisiting Precondition Inference through Constraint Acquisition
IJCAI 2022poster
Program annotations under the form of function pre/postconditions are crucial for many software engineering and program verification applications. Unfortunately, such annotations are rarely available and must be retrofit by hand. In this paper, we explore how Constraint Acquisition (CA), a learning…