@inproceedings{yeh_craxdroid:_2014,
	address = {Washington, DC, USA},
	title = {{CRAXDroid}: {Automatic} {Android} {System} {Testing} by {Selective} {Symbolic} {Execution}},
	isbn = {978-1-4799-5843-6},
	url = {http://dx.doi.org/10.1109/SERE-C.2014.32},
	doi = {10.1109/SERE-C.2014.32},
	booktitle = {Proceedings of the 2014 {IEEE} {Eighth} {International} {Conference} on {Software} {Security} and {Reliability}-{Companion}},
	publisher = {IEEE Computer Society},
	author = {Yeh, Chao Chun and Lu, Han Lin and Chen, Chun Yen and Khor, Kee Kiat and Huang, Shih Kun},
	year = {2014},
	keywords = {concolic execution, market App software, software quality assurance, software testing, symbolic execution},
	pages = {140--148},
}

{"_id":"PikDGLR67DzWYRM3Q","bibbaseid":"yeh-lu-chen-khor-huang-craxdroidautomaticandroidsystemtestingbyselectivesymbolicexecution-2014","author_short":["Yeh, C. C.","Lu, H. L.","Chen, C. Y.","Khor, K. K.","Huang, S. K."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","address":"Washington, DC, USA","title":"CRAXDroid: Automatic Android System Testing by Selective Symbolic Execution","isbn":"978-1-4799-5843-6","url":"http://dx.doi.org/10.1109/SERE-C.2014.32","doi":"10.1109/SERE-C.2014.32","booktitle":"Proceedings of the 2014 IEEE Eighth International Conference on Software Security and Reliability-Companion","publisher":"IEEE Computer Society","author":[{"propositions":[],"lastnames":["Yeh"],"firstnames":["Chao","Chun"],"suffixes":[]},{"propositions":[],"lastnames":["Lu"],"firstnames":["Han","Lin"],"suffixes":[]},{"propositions":[],"lastnames":["Chen"],"firstnames":["Chun","Yen"],"suffixes":[]},{"propositions":[],"lastnames":["Khor"],"firstnames":["Kee","Kiat"],"suffixes":[]},{"propositions":[],"lastnames":["Huang"],"firstnames":["Shih","Kun"],"suffixes":[]}],"year":"2014","keywords":"concolic execution, market App software, software quality assurance, software testing, symbolic execution","pages":"140–148","bibtex":"@inproceedings{yeh_craxdroid:_2014,\n\taddress = {Washington, DC, USA},\n\ttitle = {{CRAXDroid}: {Automatic} {Android} {System} {Testing} by {Selective} {Symbolic} {Execution}},\n\tisbn = {978-1-4799-5843-6},\n\turl = {http://dx.doi.org/10.1109/SERE-C.2014.32},\n\tdoi = {10.1109/SERE-C.2014.32},\n\tbooktitle = {Proceedings of the 2014 {IEEE} {Eighth} {International} {Conference} on {Software} {Security} and {Reliability}-{Companion}},\n\tpublisher = {IEEE Computer Society},\n\tauthor = {Yeh, Chao Chun and Lu, Han Lin and Chen, Chun Yen and Khor, Kee Kiat and Huang, Shih Kun},\n\tyear = {2014},\n\tkeywords = {concolic execution, market App software, software quality assurance, software testing, symbolic execution},\n\tpages = {140--148},\n}\n\n","author_short":["Yeh, C. C.","Lu, H. L.","Chen, C. Y.","Khor, K. K.","Huang, S. K."],"key":"yeh_craxdroid:_2014","id":"yeh_craxdroid:_2014","bibbaseid":"yeh-lu-chen-khor-huang-craxdroidautomaticandroidsystemtestingbyselectivesymbolicexecution-2014","role":"author","urls":{"Paper":"http://dx.doi.org/10.1109/SERE-C.2014.32"},"keyword":["concolic execution","market App software","software quality assurance","software testing","symbolic execution"],"metadata":{"authorlinks":{}},"html":""},"bibtype":"inproceedings","biburl":"https://bibbase.org/zotero/kpmoran","dataSources":["EJbQZ5DryKAnqjJXj"],"keywords":["concolic execution","market app software","software quality assurance","software testing","symbolic execution"],"search_terms":["craxdroid","automatic","android","system","testing","selective","symbolic","execution","yeh","lu","chen","khor","huang"],"title":"CRAXDroid: Automatic Android System Testing by Selective Symbolic Execution","year":2014}