{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,14]],"date-time":"2026-10-14T16:19:58Z","timestamp":1791994798556,"version":"4.4.0"},"reference-count":22,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2017,9,14]],"date-time":"2017-09-14T00:00:00Z","timestamp":1505347200000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Front. Comput. Sci."],"published-print":{"date-parts":[[2018,2]]},"DOI":"10.1007\/s11704-016-5459-9","type":"journal-article","created":{"date-parts":[[2017,9,14]],"date-time":"2017-09-14T03:46:27Z","timestamp":1505360787000},"page":"86-100","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Tuning parallel symbolic execution engine for better performance"],"prefix":"10.1007","volume":"12","author":[{"given":"Anil Kumar","family":"Karna","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jinbo","family":"Du","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Haihao","family":"Shen","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Hao","family":"Zhong","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jiong","family":"Gong","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Haibo","family":"Yu","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Xiangning","family":"Ma","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jianjun","family":"Zhao","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2017,9,14]]},"reference":[{"issue":"4","key":"5459_CR1","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1145\/1713254.1713257","volume":"43","author":"L Ciortea","year":"2010","unstructured":"Ciortea L, Zamfir C, Bucur S, Chipounov V, Candea G. Cloud9: a software testing service. ACM SIGOPS Operating Systems Review, 2010, 43(4): 5\u201310","journal-title":"ACM SIGOPS Operating Systems Review"},{"key":"5459_CR2","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1145\/1831708.1831732","volume-title":"Proceedings of the 19th International Symposium on Software Testing and Analysis.","author":"M Staats","year":"2010","unstructured":"Staats M, P\u02c7as\u02c7areanu C S. Parallel symbolic execution for structural testgeneration. In: Proceedings of the 19th International Symposium on Software Testing and Analysis. 2010, 183\u2013194"},{"key":"5459_CR3","volume-title":"Distributed parallel symbolic execution","author":"A King","year":"2009","unstructured":"King A. Distributed parallel symbolic execution. Dissertation for the Doctoral Degree. Manhattan, KS: Kansas State University, 2009"},{"key":"5459_CR4","first-page":"405","volume-title":"Proceedings of the 2nd International Conference on Software Technology and Engineering.","author":"J H Siddiqui","year":"2010","unstructured":"Siddiqui J H, Khurshid S. ParSym: Parallel symbolic execution. In: Proceedings of the 2nd International Conference on Software Technology and Engineering. 2010, 405\u2013409"},{"key":"5459_CR5","first-page":"333","volume-title":"Proceedings of the 31st International Conference on Distributed Computing Systems.","author":"R Sasnauskas","year":"2011","unstructured":"Sasnauskas R, Dustmann O S, Kaminski B L, Wehrle K, Weise C, Kowalewski S. Scalable symbolic execution of distributed systems. In: Proceedings of the 31st International Conference on Distributed Computing Systems. 2011, 333\u2013342"},{"key":"5459_CR6","doi-asserted-by":"crossref","first-page":"225","DOI":"10.1007\/978-3-642-02138-1_16","volume-title":"Formal Techniques for Distributed Systems","author":"A Griesmayer","year":"2009","unstructured":"Griesmayer A, Aichernig B, Johnsen E B, Schlatte R. Dynamic symbolic execution of distributed concurrent objects. In: Lee D, Lopes A, Poetzsch-Heffter A, eds. Formal Techniques for Distributed Systems. Berlin: Springer, 2009, 225\u2013230"},{"key":"5459_CR7","first-page":"487","volume-title":"Proceedings of International Conference on Computational Science and Its Applications.","author":"N Aleb","year":"2013","unstructured":"Aleb N, Kechid S. A new approach for distributed symbolic software testing. In: Proceedings of International Conference on Computational Science and Its Applications. 2013, 487\u2013497"},{"key":"5459_CR8","first-page":"209","volume-title":"Proceeding of OSDI.","author":"C Cadar","year":"2008","unstructured":"Cadar C, Dunbar D, Engler D R. KLEE: unassisted and automatic generation of high-coverage tests for complex systems programs. In: Proceeding of OSDI. 2008, 209\u2013224"},{"key":"5459_CR9","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1145\/1966445.1966463","volume-title":"Proceedings of the 6th ACM Conference on Computer Systems.","author":"S Bucur","year":"2011","unstructured":"Bucur S, Ureche V, Zamfir C, Candea G. Parallel symbolic execution for automated real-world software testing. In: Proceedings of the 6th ACM Conference on Computer Systems. 2011, 183\u2013198"},{"key":"5459_CR10","doi-asserted-by":"crossref","first-page":"155","DOI":"10.1145\/1807128.1807153","volume-title":"Proceedings of the 1st ACM Symposium on Cloud Computing.","author":"G Candea","year":"2010","unstructured":"Candea G, Bucur S, Zamfir C. Automated software testing as a service. In: Proceedings of the 1st ACM Symposium on Cloud Computing. 2010, 155\u2013160"},{"key":"5459_CR11","volume-title":"Technical Report 15\u2013745","author":"D Renshaw","year":"2011","unstructured":"Renshaw D, Kong S. Symbolic execution in difficult environments. Technical Report 15\u2013745. 2011"},{"key":"5459_CR12","first-page":"716","volume-title":"Proceedings of the 34th International Conference on Software Engineering.","author":"P D Marinescu","year":"2012","unstructured":"Marinescu P D, Cadar C. Make test-zesti: A symbolic execution solution for improving regression testing. In: Proceedings of the 34th International Conference on Software Engineering. 2012, 716\u2013726"},{"issue":"4","key":"5459_CR13","doi-asserted-by":"crossref","first-page":"329","DOI":"10.1145\/2499368.2451152","volume":"48","author":"H M Cui","year":"2013","unstructured":"Cui H M, Hu G, Wu J Y, Yang J. Verifying systems rules using ruledirected symbolic execution. ACM SIGPLAN Notices, 2013, 48(4): 329\u2013342","journal-title":"ACM SIGPLAN Notices"},{"key":"5459_CR14","first-page":"241","volume-title":"Proceedings of IEEE\/IFIP International Conference on Dependable Systems and Networks.","author":"D Z Zhang","year":"2010","unstructured":"Zhang D Z, Liu D G, Lei Y, Kung D, Csallner C, Wang WH. Detecting vulnerabilities in c programs using trace-based testing. In: Proceedings of IEEE\/IFIP International Conference on Dependable Systems and Networks. 2010, 241\u2013250"},{"issue":"6","key":"5459_CR15","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1145\/1041685.1029911","volume":"29","author":"M Zitser","year":"2004","unstructured":"Zitser M, Lippmann R, Leek T. Testing static analysis tools using exploitable buffer overflows from open source code. ACM SIGSOFT Software Engineering Notes, 2004, 29(6): 97\u2013106","journal-title":"ACM SIGSOFT Software Engineering Notes"},{"key":"5459_CR16","first-page":"225","volume-title":"Proceedings of the 18th ACM International Symposium on Software Testing and Analysis.","author":"P Saxena","year":"2009","unstructured":"Saxena P, Poosankam P, McCamant S, Song D. Loop-extended symbolic execution on binary programs. In: Proceedings of the 18th ACM International Symposium on Software Testing and Analysis. 2009, 225\u2013236"},{"key":"5459_CR17","doi-asserted-by":"crossref","first-page":"758","DOI":"10.1007\/978-3-642-31424-7_61","volume-title":"Proceedings of the 24th International Conference on Computer Aided Verification.","author":"J Jaffar","year":"2012","unstructured":"Jaffar J, Murali V, Navas J A, Santosa A E. TRACER: a symbolic execution tool for verification. In: Proceedings of the 24th International Conference on Computer Aided Verification. 2012, 758\u2013766"},{"issue":"6","key":"5459_CR18","doi-asserted-by":"crossref","first-page":"229","DOI":"10.1049\/sej.1988.0029","volume":"3","author":"P D Coward","year":"1988","unstructured":"Coward P D. Symbolic execution systems-a review. Software Engineering Journal, 1988, 3(6): 229\u2013239","journal-title":"Software Engineering Journal"},{"issue":"7","key":"5459_CR19","doi-asserted-by":"crossref","first-page":"385","DOI":"10.1145\/360248.360252","volume":"19","author":"J C King","year":"1976","unstructured":"King J C. Symbolic execution and program testing. Communications of the ACM, 1976, 19(7): 385\u2013394","journal-title":"Communications of the ACM"},{"issue":"5","key":"5459_CR20","doi-asserted-by":"crossref","first-page":"263","DOI":"10.1145\/1095430.1081750","volume":"30","author":"K Sen","year":"2005","unstructured":"Sen K, Marinov D, Agha G. CUTE: a concolic unit testing engine for C. ACMSIGSOFT Software Engineering Notes, 2005, 30(5): 263\u2013272","journal-title":"ACMSIGSOFT Software Engineering Notes"},{"key":"5459_CR21","first-page":"101","volume-title":"Proceedings of the 23rd IEEE International Symposium on Software Reliability Engineering.","author":"Y F Zhang","year":"2012","unstructured":"Zhang Y F, Chen Z B, Wang J. Speculative symbolic execution. In: Proceedings of the 23rd IEEE International Symposium on Software Reliability Engineering. 2012, 101\u2013110"},{"key":"5459_CR22","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1007\/978-3-642-39799-8_3","volume-title":"Proceedings of International Conference on Computer Aided Verification.","author":"H Palikareva","year":"2013","unstructured":"Palikareva H, Cadar C. Multi-solver support in symbolic execution. In: Proceedings of International Conference on Computer Aided Verification. 2013, 53\u201368"}],"container-title":["Frontiers of Computer Science"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11704-016-5459-9\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11704-016-5459-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11704-016-5459-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,8,2]],"date-time":"2022-08-02T20:40:52Z","timestamp":1659472852000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11704-016-5459-9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,9,14]]},"references-count":22,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2018,2]]}},"alternative-id":["5459"],"URL":"https:\/\/doi.org\/10.1007\/s11704-016-5459-9","relation":{},"ISSN":["2095-2228","2095-2236"],"issn-type":[{"value":"2095-2228","type":"print"},{"value":"2095-2236","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,9,14]]}}}