Grégoire Menguy

Automated Program Analysis: Revisiting Precondition Inference through Constraint Acquisition

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…