@inproceedings{santelices_harrold_2010, 
  title={Exploiting program dependencies for scalable multiple-path symbolic execution}, 
  DOI={10.1145/1831708.1831733}, 
  publisher={ACM Press}, 
  author={Santelices and Harrold}, 
  year={2010}
  }