@inproceedings{ dblp1945874,
  title = {Lightweight Data-Flow Analysis for Execution-Driven Constraint Solving},
  author = {Junaid Haroon Siddiqui and Darko Marinov and Sarfraz Khurshid},
  author_short = {Haroon Siddiqui, J. and Marinov, D. and Khurshid, S.},
  bibtype = {inproceedings},
  type = {inproceedings},
  year = {2012},
  key = {dblp1945874},
  id = {dblp1945874},
  biburl = {http://www.dblp.org/rec/bibtex/conf/icst/SiddiquiMK12},
  url = {http://dx.doi.org/10.1109/ICST.2012.89},
  conference = {ICST},
  pages = {91-100},
  text = {ICST 2012:91-100},
  booktitle = {Proceedings of International Conference on Software Testing, Verification, and Validation (ICST)}
}

{"_id":"hG7SoEnTkCq2SRGGK","authorIDs":[],"author_short":["Haroon Siddiqui, J.","Marinov, D.","Khurshid, S."],"bibbaseid":"haroonsiddiqui-marinov-khurshid-lightweightdataflowanalysisforexecutiondrivenconstraintsolving-2012","bibdata":{"title":"Lightweight Data-Flow Analysis for Execution-Driven Constraint Solving","author":["Junaid Haroon Siddiqui","Darko Marinov","Sarfraz Khurshid"],"author_short":["Haroon Siddiqui, J.","Marinov, D.","Khurshid, S."],"bibtype":"inproceedings","type":"inproceedings","year":"2012","key":"dblp1945874","id":"dblp1945874","biburl":"http://www.dblp.org/rec/bibtex/conf/icst/SiddiquiMK12","url":"http://dx.doi.org/10.1109/ICST.2012.89","conference":"ICST","pages":"91-100","text":"ICST 2012:91-100","booktitle":"Proceedings of International Conference on Software Testing, Verification, and Validation (ICST)","bibtex":"@inproceedings{ dblp1945874,\n title = {Lightweight Data-Flow Analysis for Execution-Driven Constraint Solving},\n author = {Junaid Haroon Siddiqui and Darko Marinov and Sarfraz Khurshid},\n author_short = {Haroon Siddiqui, J. and Marinov, D. and Khurshid, S.},\n bibtype = {inproceedings},\n type = {inproceedings},\n year = {2012},\n key = {dblp1945874},\n id = {dblp1945874},\n biburl = {http://www.dblp.org/rec/bibtex/conf/icst/SiddiquiMK12},\n url = {http://dx.doi.org/10.1109/ICST.2012.89},\n conference = {ICST},\n pages = {91-100},\n text = {ICST 2012:91-100},\n booktitle = {Proceedings of International Conference on Software Testing, Verification, and Validation (ICST)}\n}","bibbaseid":"haroonsiddiqui-marinov-khurshid-lightweightdataflowanalysisforexecutiondrivenconstraintsolving-2012","role":"author","urls":{"Paper":"http://dx.doi.org/10.1109/ICST.2012.89"},"downloads":0},"bibtype":"inproceedings","biburl":"http://www.dblp.org/rec/bibtex/conf/icst/SiddiquiMK12","creationDate":"2014-10-21T08:37:03.766Z","downloads":0,"keywords":[],"search_terms":["lightweight","data","flow","analysis","execution","driven","constraint","solving","haroon siddiqui","marinov","khurshid"],"title":"Lightweight Data-Flow Analysis for Execution-Driven Constraint Solving","year":2012,"dataSources":["jSN64R5mszavFbPex"]}