Optimizing a Structural Constraint Solver for Efficient Software Checking. Haroon Siddiqui, J., Marinov, D., & Khurshid, S. In Proceedings of Automated Software Engineering (ASE), pages 615-619, 2009.
Paper bibtex @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)}
}
Downloads: 0
{"_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"]}