Effective Bug Finding in C Programs with Shape and Effect Abstractions.

Iago Abal, Claus Brabrand, Andrzej Wasowski

Browse the full VMCAI paper archive.