A Query-Based Constraint Acquisition Approach for Enhanced Precision in Program Precondition Inference

A Query-Based Constraint Acquisition Approach for Enhanced Precision in Program Precondition Inference

Authors
G. Menguy, S. Bardin, A. Gotlieb and N. Lazaar