BibTeX entry:
% Auto-generated by the Aristotle Publications Database on Mon Nov 23 16:55:30 EST 2009
% URL = http://www.cc.gatech.edu/aristotle/Publications/index.php
@inproceedings{ santelices09jun,
author = {Raul Andres Santelices
and Mary Jean Harrold},
title = {SPA: Symbolic Program Approximation for Scalable Path-sensitive Analysis},
booktitle = {GIT-CERCS Technical Report (GIT-CERCS TR 2009)},
pages = {1--11},
address = {Atlanta, USA},
month = {June},
year = {2009},
notes = {}
}