@article{Xie:2007:SSF:1232420.1232423,
Address = {New York, NY, USA},
Author = {Xie, Yichen and Aiken, Alex},
File = {Saturn A Scalable Framework for Error Detection Using Boolean Satisfiability - Xie, Aiken (1) (0) - a - a - b.pdf},
ISSN = {0164-0925},
Journal = {ACM Trans. Program. Lang. Syst.},
Keywords = {Boolean satisfiability, Program analysis, error detection},
Month = {May},
Number = {3},
Publisher = {ACM},
Title = {Saturn: A Scalable Framework for Error Detection Using Boolean Satisfiability},
URL = {http://doi.acm.org/10.1145/1232420.1232423},
Volume = {29},
Year = {2007},
acmid = {1232423},
articleno = {16},
bdsk-url-1 = {http://doi.acm.org/10.1145/1232420.1232423},
bdsk-url-2 = {http://dx.doi.org/10.1145/1232420.1232423},
date-added = {2014-03-11 15:28:03 +0000},
date-modified = {2014-03-11 15:28:03 +0000},
file-2 = {Saturn A Scalable Framework for Error Detection Using Boolean Satisfiability - Xie, Aiken (0) (0) - a - a - b.pdf},
issue_date = {May 2007},
doi = {10.1145/1232420.1232423}
}
Library Size: 13G (12941 entries),
Last Updated: Apr 04, 2026, 18:14:59,
Build Time: N/A