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)

zbMATH Keywords

machine learningconstraint acquisition

Mathematics Subject Classification ID

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

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)