Bardin, Sébastien

3 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

IJCAI 2017 Efficient and Complete FD-Solving for Extended Array Constraints Quentin Plazar, Mathieu Acher, Sébastien Bardin, Arnaud Gotlieb