Abstract interpretation: testing at scale without testing at scale.

Nakul Jindal, Junmin Yang, Victor Lotrich, Jason Byrd, Beverly A. Sanders

Browse the full SC paper archive.