Automatic Inference of Relational Object Invariants.

Yusen Su, Jorge A. Navas, Arie Gurfinkel, Isabel Garcia-Contreras

Browse the full VMCAI paper archive.