Data-driven precondition inference with learned features.

Saswat Padhi, Rahul Sharma, Todd D. Millstein

Browse the full PLDI paper archive.