@inproceedings{ dblp2021594,
  title = {Scaling symbolic execution using ranged analysis},
  author = {Junaid Haroon Siddiqui and Sarfraz Khurshid},
  author_short = {Haroon Siddiqui, J. and Khurshid, S.},
  bibtype = {inproceedings},
  type = {inproceedings},
  year = {2012},
  key = {dblp2021594},
  id = {dblp2021594},
  biburl = {http://www.dblp.org/rec/bibtex/conf/oopsla/SiddiquiK12},
  url = {http://doi.acm.org/10.1145/2384616.2384654},
  conference = {OOPSLA},
  pages = {523-536},
  text = {OOPSLA 2012:523-536},
  booktitle = {Proceedings of Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA)}
}

{"_id":"X7mpJZo4sasF786NJ","authorIDs":[],"author_short":["Haroon Siddiqui, J.","Khurshid, S."],"bibbaseid":"haroonsiddiqui-khurshid-scalingsymbolicexecutionusingrangedanalysis-2012","bibdata":{"title":"Scaling symbolic execution using ranged analysis","author":["Junaid Haroon Siddiqui","Sarfraz Khurshid"],"author_short":["Haroon Siddiqui, J.","Khurshid, S."],"bibtype":"inproceedings","type":"inproceedings","year":"2012","key":"dblp2021594","id":"dblp2021594","biburl":"http://www.dblp.org/rec/bibtex/conf/oopsla/SiddiquiK12","url":"http://doi.acm.org/10.1145/2384616.2384654","conference":"OOPSLA","pages":"523-536","text":"OOPSLA 2012:523-536","booktitle":"Proceedings of Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA)","bibtex":"@inproceedings{ dblp2021594,\n title = {Scaling symbolic execution using ranged analysis},\n author = {Junaid Haroon Siddiqui and Sarfraz Khurshid},\n author_short = {Haroon Siddiqui, J. and Khurshid, S.},\n bibtype = {inproceedings},\n type = {inproceedings},\n year = {2012},\n key = {dblp2021594},\n id = {dblp2021594},\n biburl = {http://www.dblp.org/rec/bibtex/conf/oopsla/SiddiquiK12},\n url = {http://doi.acm.org/10.1145/2384616.2384654},\n conference = {OOPSLA},\n pages = {523-536},\n text = {OOPSLA 2012:523-536},\n booktitle = {Proceedings of Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA)}\n}","bibbaseid":"haroonsiddiqui-khurshid-scalingsymbolicexecutionusingrangedanalysis-2012","role":"author","urls":{"Paper":"http://doi.acm.org/10.1145/2384616.2384654"},"downloads":0},"bibtype":"inproceedings","biburl":"http://www.dblp.org/rec/bibtex/conf/oopsla/SiddiquiK12","creationDate":"2014-10-21T08:37:03.768Z","downloads":0,"keywords":[],"search_terms":["scaling","symbolic","execution","using","ranged","analysis","haroon siddiqui","khurshid"],"title":"Scaling symbolic execution using ranged analysis","year":2012,"dataSources":["h7gL73k6oB4tZs4ss"]}