Scalable error detection using boolean satisfiability.

Yichen Xie, Alex Aiken

Browse the full POPL paper archive.