Program analysis for bug detection using parfait: invited talk.

Cristina Cifuentes, Nathan Keynes, Lian Li, Bernhard Scholz

Browse the full PEPM paper archive.