Scalable program analysis using Boolean satisfiability.

Alex Aiken

Browse the full MEMOCODE paper archive.