@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}
}

@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} }