Staged symbolic execution. Haroon Siddiqui, J. & Khurshid, S. In Proceedings of Selected Areas in Cryptography (SAC), pages 1339-1346, 2012. ![Staged symbolic execution [link]](https://bibbase.org/img/filetypes/link.svg "link")
Paper bibtex @inproceedings{ dblp2032745,
title = {Staged symbolic execution},
author = {Junaid Haroon Siddiqui and Sarfraz Khurshid},
author_short = {Haroon Siddiqui, J. and Khurshid, S.},
bibtype = {inproceedings},
type = {inproceedings},
year = {2012},
key = {dblp2032745},
id = {dblp2032745},
biburl = {http://www.dblp.org/rec/bibtex/conf/sac/SiddiquiK12},
url = {http://doi.acm.org/10.1145/2245276.2231988},
conference = {SAC},
pages = {1339-1346},
text = {SAC 2012:1339-1346},
booktitle = {Proceedings of Selected Areas in Cryptography (SAC)}
}
Downloads: 0
{"_id":"zcpyfojAWQwvaA98h","authorIDs":[],"author_short":["Haroon Siddiqui, J.","Khurshid, S."],"bibbaseid":"haroonsiddiqui-khurshid-stagedsymbolicexecution-2012","bibdata":{"title":"Staged symbolic execution","author":["Junaid Haroon Siddiqui","Sarfraz Khurshid"],"author_short":["Haroon Siddiqui, J.","Khurshid, S."],"bibtype":"inproceedings","type":"inproceedings","year":"2012","key":"dblp2032745","id":"dblp2032745","biburl":"http://www.dblp.org/rec/bibtex/conf/sac/SiddiquiK12","url":"http://doi.acm.org/10.1145/2245276.2231988","conference":"SAC","pages":"1339-1346","text":"SAC 2012:1339-1346","booktitle":"Proceedings of Selected Areas in Cryptography (SAC)","bibtex":"@inproceedings{ dblp2032745,\n title = {Staged symbolic execution},\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 = {dblp2032745},\n id = {dblp2032745},\n biburl = {http://www.dblp.org/rec/bibtex/conf/sac/SiddiquiK12},\n url = {http://doi.acm.org/10.1145/2245276.2231988},\n conference = {SAC},\n pages = {1339-1346},\n text = {SAC 2012:1339-1346},\n booktitle = {Proceedings of Selected Areas in Cryptography (SAC)}\n}","bibbaseid":"haroonsiddiqui-khurshid-stagedsymbolicexecution-2012","role":"author","urls":{"Paper":"http://doi.acm.org/10.1145/2245276.2231988"},"downloads":0},"bibtype":"inproceedings","biburl":"http://www.dblp.org/rec/bibtex/conf/sac/SiddiquiK12","creationDate":"2014-10-21T08:37:03.770Z","downloads":0,"keywords":[],"search_terms":["staged","symbolic","execution","haroon siddiqui","khurshid"],"title":"Staged symbolic execution","year":2012,"dataSources":["HsDsTEbkrQvftM34F"]}