Menguy, Grégoire

2 publications

JAIR 2025 A Query-Based Constraint Acquisition Approach for Enhanced Precision in Program Precondition Inference Grégoire Menguy, Sébastien Bardin, Arnaud Gotlieb, Nadjib Lazaar

IJCAI 2022 Automated Program Analysis: Revisiting Precondition Inference Through Constraint Acquisition Grégoire Menguy, Sébastien Bardin, Nadjib Lazaar, Arnaud Gotlieb