Shape Analysis with Structural Invariant Checkers.

Bor-Yuh Evan Chang, Xavier Rival, George C. Necula

Browse the full SAS paper archive.