@inproceedings{ dblp2483647,
  title = {Optimizing a Structural Constraint Solver for Efficient Software Checking},
  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 = {2009},
  key = {dblp2483647},
  id = {dblp2483647},
  biburl = {http://www.dblp.org/rec/bibtex/conf/kbse/SiddiquiMK09},
  url = {http://doi.ieeecomputersociety.org/10.1109/ASE.2009.52},
  conference = {ASE},
  pages = {615-619},
  text = {ASE 2009:615-619},
  booktitle = {Proceedings of Automated Software Engineering (ASE)}
}

{"_id":"zTWuqtRB3udCDTL42","authorIDs":[],"author_short":["Haroon Siddiqui, J.","Marinov, D.","Khurshid, S."],"bibbaseid":"haroonsiddiqui-marinov-khurshid-optimizingastructuralconstraintsolverforefficientsoftwarechecking-2009","bibdata":{"title":"Optimizing a Structural Constraint Solver for Efficient Software Checking","author":["Junaid Haroon Siddiqui","Darko Marinov","Sarfraz Khurshid"],"author_short":["Haroon Siddiqui, J.","Marinov, D.","Khurshid, S."],"bibtype":"inproceedings","type":"inproceedings","year":"2009","key":"dblp2483647","id":"dblp2483647","biburl":"http://www.dblp.org/rec/bibtex/conf/kbse/SiddiquiMK09","url":"http://doi.ieeecomputersociety.org/10.1109/ASE.2009.52","conference":"ASE","pages":"615-619","text":"ASE 2009:615-619","booktitle":"Proceedings of Automated Software Engineering (ASE)","bibtex":"@inproceedings{ dblp2483647,\n title = {Optimizing a Structural Constraint Solver for Efficient Software Checking},\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 = {2009},\n key = {dblp2483647},\n id = {dblp2483647},\n biburl = {http://www.dblp.org/rec/bibtex/conf/kbse/SiddiquiMK09},\n url = {http://doi.ieeecomputersociety.org/10.1109/ASE.2009.52},\n conference = {ASE},\n pages = {615-619},\n text = {ASE 2009:615-619},\n booktitle = {Proceedings of Automated Software Engineering (ASE)}\n}","bibbaseid":"haroonsiddiqui-marinov-khurshid-optimizingastructuralconstraintsolverforefficientsoftwarechecking-2009","role":"author","urls":{"Paper":"http://doi.ieeecomputersociety.org/10.1109/ASE.2009.52"},"downloads":0},"bibtype":"inproceedings","biburl":"http://www.dblp.org/rec/bibtex/conf/kbse/SiddiquiMK09","creationDate":"2014-10-21T08:37:03.799Z","downloads":0,"keywords":[],"search_terms":["optimizing","structural","constraint","solver","efficient","software","checking","haroon siddiqui","marinov","khurshid"],"title":"Optimizing a Structural Constraint Solver for Efficient Software Checking","year":2009,"dataSources":["achZPGFPGj2hPcNzx"]}