{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,26]],"date-time":"2025-04-26T05:05:33Z","timestamp":1745643933327},"reference-count":12,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,2]]},"DOI":"10.1109\/saner.2017.7884649","type":"proceedings-article","created":{"date-parts":[[2017,3,24]],"date-time":"2017-03-24T03:11:58Z","timestamp":1490325118000},"page":"437-441","source":"Crossref","is-referenced-by-count":3,"title":["Cloud-based parallel concolic execution"],"prefix":"10.1109","author":[{"given":"Ting","family":"Chen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Youzheng","family":"Feng","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xiapu","family":"Luo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xiaodong","family":"Lin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xiaosong","family":"Zhang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/1966445.1966463"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-41707-8_13"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/2767005"},{"key":"ref6","article-title":"LCT: An open source concolic testing tool for java programs","author":"k?hk?nen","year":"2011","journal-title":"Workshop Bytecode"},{"article-title":"Cloud 9: a software testing service","year":"2010","author":"ciortea","key":"ref11"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2012.114"},{"key":"ref12","article-title":"Concolic test generation and the cloud: Deployment and verification perspectives","author":"kosmatov","year":"2012","journal-title":"Software Testing in the Cloud Perspectives on An Emerging Discipline"},{"key":"ref8","article-title":"Resilient distributed datasets: a fault-tolerant abstraction for in-memory cluster computing","author":"zaharia","year":"2012","journal-title":"Proc NSDI"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/ICSTE.2010.5608866"},{"article-title":"Distributed parallel symbolic execution","year":"2009","author":"king","key":"ref2"},{"year":"2016","key":"ref9","article-title":"Fuzzgrind"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/1831708.1831732"}],"event":{"name":"2017 IEEE 24th International Conference on Software Analysis, Evolution and Reengineering (SANER)","start":{"date-parts":[[2017,2,20]]},"location":"Klagenfurt, Austria","end":{"date-parts":[[2017,2,24]]}},"container-title":["2017 IEEE 24th International Conference on Software Analysis, Evolution and Reengineering (SANER)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7879528\/7884596\/07884649.pdf?arnumber=7884649","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,31]],"date-time":"2017-03-31T18:14:26Z","timestamp":1490984066000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7884649\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,2]]},"references-count":12,"URL":"https:\/\/doi.org\/10.1109\/saner.2017.7884649","relation":{},"subject":[],"published":{"date-parts":[[2017,2]]}}}