Saturn: A scalable framework for error detection using Boolean satisfiability.

Published in: ACM Trans. Program. Lang. Syst. (2007)

Keyphrases