Automated Program Analysis: Revisiting Precondition Inference through Constraint Acquisition
- Authors
- G. Menguy, S. Bardin, N. Lazaar and A. Gotlieb
- Status
- Published
- Publication type
- Proceedings Refereed
- Year of publication
- 2022
- Journal
- 31st International Joint Conference on Artificial Intelligence and the 25th European Conference on Artificial Intelligence (IJCAI-ECAI 22)
- Publisher
- IJCAI
- Citation key
- 16560