Static error detection using semantic inconsistency inference.

Isil Dillig, Thomas Dillig, Alex Aiken

Browse the full PLDI paper archive.