A query-based constraint acquisition approach for enhanced precision in program precondition inference

DOI10.1613/JAIR.1.16206MaRDI QIDQ7014301zbMATH OpenFDO

Authors Grégoire Menguy, Sébastien Bardin, Arnaud Gotlieb, Nadjib Lazaar

Publication date 11 March 2025

Published in The Journal of Artificial Intelligence Research (JAIR) (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1613/JAIR.1.16206

zbMATH Keywords

constraint acquisitionmachine learning

Mathematics Subject Classification ID

Theory of software (68N99) Learning and adaptive systems in artificial intelligence (68T05)

Cites work

• A constructive approach to the problem of program correctness
• A structural approach to operational semantics
• An axiomatic basis for computer programming
• An iterative approach to precondition inference using constrained Horn clauses
• Classes of Recursively Enumerable Sets and Their Decision Problems
• Compositional shape analysis by means of bi-abduction
• Constraint acquisition
• Counterexample-guided precondition inference
• Handbook of constraint programming.
• scientific article; zbMATH DE number 439891 (Why is no real title available?)
• Learning commutativity specifications
• Learning constraints through partial queries
• Overfitting in synthesis: theory and practice
• Towards verification of C programs: Axiomatic semantics of the C-kernel language

This page was built for publication: A query-based constraint acquisition approach for enhanced precision in program precondition inference

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7014301)