Automated Program Analysis: Revisiting Precondition Inference through Constraint Acquisition

Automated Program Analysis: Revisiting Precondition Inference through Constraint Acquisition

Authors
G. Menguy, S. Bardin, A. Gotlieb and N. Lazaar
Status
Accepted
Publication type
Proceedings Refereed
Year of publication
2023
Journal
Knowledge Representation (KR), Research Track, Rhodes, Greece, September 2-8
Publisher
–
Citation key
17115
Google Scholar BibTex