A Query-Based Constraint Acquisition Approach for Enhanced Precision in Program Precondition Inference
- Authors
- G. Menguy, S. Bardin, A. Gotlieb and N. Lazaar
- Status
- Published
- Publication type
- Journal Article
- Year of publication
- 2025
- Journal
- Journal of Artificial Intelligence Research (JAIR)
- Publisher
- AI Access Foundation
- Citation key
- 18502