Automated Program Analysis: Revisiting Precondition Inference through Constraint Acquisition.

Grgoire Menguy, Sbastien Bardin, Nadjib Lazaar, Arnaud Gotlieb

Browse the full IJCAI paper archive.