{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T08:11:59Z","timestamp":1743063119158,"version":"3.40.3"},"publisher-location":"Cham","reference-count":29,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030634056"},{"type":"electronic","value":"9783030634063"}],"license":[{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020]]},"DOI":"10.1007\/978-3-030-63406-3_7","type":"book-chapter","created":{"date-parts":[[2020,12,18]],"date-time":"2020-12-18T16:05:19Z","timestamp":1608307519000},"page":"107-125","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Parallel Chopped Symbolic Execution"],"prefix":"10.1007","author":[{"given":"Shikhar","family":"Singh","sequence":"first","affiliation":[]},{"given":"Sarfraz","family":"Khurshid","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2020,12,19]]},"reference":[{"key":"7_CR1","unstructured":"Adve, V., Lattner, C., Brukman, M., Shukla, A., Gaeke, B.: LLVA: a low-level virtual instruction set architecture. In: Proceedings of the 36th Annual ACM\/IEEE International Symposium on Microarchitecture (MICRO-36), San Diego, California, December 2003"},{"key":"7_CR2","doi-asserted-by":"publisher","unstructured":"Avgerinos, T., Cha, S.K., Rebert, A., Schwartz, E.J., Woo, M., Brumley, D.: Automatic exploit generation. Commun. ACM 57(2), 74\u201384 (2014). https:\/\/doi.org\/10.1145\/2560217.2560219. http:\/\/doi.acm.org\/10.1145\/2560217.2560219","DOI":"10.1145\/2560217.2560219"},{"key":"7_CR3","doi-asserted-by":"publisher","unstructured":"Bethea, D., Cochran, R.A., Reiter, M.K.: Server-side verification of client behavior in online games. ACM Trans. Inf. Syst. Secur. 14(4), 32:1\u201332:27 (2008). https:\/\/doi.org\/10.1145\/2043628.2043633. http:\/\/doi.acm.org\/10.1145\/2043628.2043633","DOI":"10.1145\/2043628.2043633"},{"key":"7_CR4","doi-asserted-by":"publisher","unstructured":"Boyer, R.S., Elspas, B., Levitt, K.N.: SELECT\u2014a formal system for testing and debugging programs by symbolic execution. In: Proceedings of the International Conference on Reliable Software, pp. 234\u2013245. ACM, New York (1975). https:\/\/doi.org\/10.1145\/800027.808445. http:\/\/doi.acm.org\/10.1145\/800027.808445","DOI":"10.1145\/800027.808445"},{"key":"7_CR5","doi-asserted-by":"publisher","unstructured":"Bucur, S., Ureche, V., Zamfir, C., Candea, G.: Parallel symbolic execution for automated real-world software testing. In: Proceedings of the Sixth Conference on Computer Systems, EuroSys 2011, pp. 183\u2013198. ACM, New York (2011). https:\/\/doi.org\/10.1145\/1966445.1966463. http:\/\/doi.acm.org\/10.1145\/1966445.1966463","DOI":"10.1145\/1966445.1966463"},{"key":"7_CR6","doi-asserted-by":"publisher","unstructured":"Burnim, J., Sen, K.: Heuristics for scalable dynamic test generation. In: 2008 23rd IEEE\/ACM International Conference on Automated Software Engineering, pp. 443\u2013446, September 2008. https:\/\/doi.org\/10.1109\/ASE.2008.69","DOI":"10.1109\/ASE.2008.69"},{"key":"7_CR7","unstructured":"Cadar, C., Dunbar, D., Engler, D.: KLEE: unassisted and automatic generation of high-coverage tests for complex systems programs. In: Proceedings of the 8th USENIX Conference on Operating Systems Design and Implementation, OSDI 2008, pp. 209\u2013224. USENIX Association, Berkeley (2008). http:\/\/dl.acm.org\/citation.cfm?id=1855741.1855756"},{"key":"7_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1007\/11537328_2","volume-title":"Model Checking Software","author":"C Cadar","year":"2005","unstructured":"Cadar, C., Engler, D.: Execution generated test cases: how to make systems code crash itself. In: Godefroid, P. (ed.) SPIN 2005. LNCS, vol. 3639, pp. 2\u201323. Springer, Heidelberg (2005). https:\/\/doi.org\/10.1007\/11537328_2"},{"key":"7_CR9","doi-asserted-by":"publisher","unstructured":"Cadar, C., Ganesh, V., Pawlowski, P.M., Dill, D.L., Engler, D.R.: EXE: automatically generating inputs of death. In: Proceedings of the 13th ACM Conference on Computer and Communications Security, CCS 2006, pp. 322\u2013335. ACM, New York (2006). https:\/\/doi.org\/10.1145\/1180405.1180445. http:\/\/doi.acm.org\/10.1145\/1180405.1180445","DOI":"10.1145\/1180405.1180445"},{"key":"7_CR10","doi-asserted-by":"publisher","unstructured":"Chipounov, V., Candea, G.: Reverse engineering of binary device drivers with RevNic. In: Proceedings of the 5th European Conference on Computer Systems, EuroSys 2010, pp. 167\u2013180. ACM, New York (2010). https:\/\/doi.org\/10.1145\/1755913.1755932. http:\/\/doi.acm.org\/10.1145\/1755913.1755932","DOI":"10.1145\/1755913.1755932"},{"key":"7_CR11","doi-asserted-by":"publisher","unstructured":"Ciortea, L., Zamfir, C., Bucur, S., Chipounov, V., Candea, G.: Cloud9: a software testing service. SIGOPS Oper. Syst. Rev. 43(4), 5\u201310 (2010). https:\/\/doi.org\/10.1145\/1713254.1713257. http:\/\/doi.acm.org\/10.1145\/1713254.1713257","DOI":"10.1145\/1713254.1713257"},{"key":"7_CR12","doi-asserted-by":"publisher","unstructured":"Collingbourne, P., Cadar, C., Kelly, P.H.: Symbolic crosschecking of floating-point and SIMD code. In: Proceedings of the Sixth Conference on Computer Systems, EuroSys 2011, pp. 315\u2013328. ACM, New York (2011). https:\/\/doi.org\/10.1145\/1966445.1966475. http:\/\/doi.acm.org\/10.1145\/1966445.1966475","DOI":"10.1145\/1966445.1966475"},{"key":"7_CR13","doi-asserted-by":"crossref","unstructured":"Cui, H., Wu, J., Tsai, C.C., Yang, J.: Stable deterministic multithreading through schedule memoization. In: OSDI (2010)","DOI":"10.1145\/2043556.2043588"},{"key":"7_CR14","doi-asserted-by":"publisher","unstructured":"Godefroid, P.: Compositional dynamic test generation. In: Proceedings of the 34th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2007, pp. 47\u201354. ACM, New York (2007). https:\/\/doi.org\/10.1145\/1190216.1190226. http:\/\/doi.acm.org\/10.1145\/1190216.1190226","DOI":"10.1145\/1190216.1190226"},{"key":"7_CR15","doi-asserted-by":"publisher","unstructured":"Godefroid, P., Klarlund, N., Sen, K.: DART: directed automated random testing. SIGPLAN Not. 40(6), 213\u2013223 (2005). https:\/\/doi.org\/10.1145\/1064978.1065036. http:\/\/doi.acm.org\/10.1145\/1064978.1065036","DOI":"10.1145\/1064978.1065036"},{"key":"7_CR16","doi-asserted-by":"publisher","unstructured":"King, J.C.: Symbolic execution and program testing. Commun. ACM 19(7), 385\u2013394 (1976). https:\/\/doi.org\/10.1145\/360248.360252. http:\/\/doi.acm.org\/10.1145\/360248.360252","DOI":"10.1145\/360248.360252"},{"key":"7_CR17","unstructured":"Lagniez, J.M., Marquis, P.: An improved decision-DNNF compiler. In: Proceedings of the 26th International Joint Conference on Artificial Intelligence, IJCAI 2017, pp. 667\u2013673. AAAI Press (2017). http:\/\/dl.acm.org\/citation.cfm?id=3171642.3171738"},{"key":"7_CR18","unstructured":"Lagniez, J.M., Marquis, P., Szczepanski, N.: DMC: a distributed model counter. In: Proceedings of the 27th International Joint Conference on Artificial Intelligence, IJCAI 2018, pp. 1331\u20131338. AAAI Press (2018). http:\/\/dl.acm.org\/citation.cfm?id=3304415.3304604"},{"issue":"8","key":"7_CR19","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1145\/2370036.2145844","volume":"47","author":"G Li","year":"2012","unstructured":"Li, G., Li, P., Sawaya, G., Gopalakrishnan, G., Ghosh, I., Rajan, S.: GKLEE: concolic verification and test generation for GPUs. ACM SIGPLAN Not. 47(8), 215\u2013224 (2012). https:\/\/doi.org\/10.1145\/2370036.2145844","journal-title":"ACM SIGPLAN Not."},{"key":"7_CR20","doi-asserted-by":"publisher","unstructured":"Person, S., Yang, G., Rungta, N., Khurshid, S.: Directed incremental symbolic execution. In: Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2011, pp. 504\u2013515. ACM, New York (2011). https:\/\/doi.org\/10.1145\/1993498.1993558. http:\/\/doi.acm.org\/10.1145\/1993498.1993558","DOI":"10.1145\/1993498.1993558"},{"key":"7_CR21","doi-asserted-by":"publisher","unstructured":"P\u01ces\u01cereanu, C.S., et al.: Combining unit-level symbolic execution and system-level concrete execution for testing NASA software. In: Proceedings of the 2008 International Symposium on Software Testing and Analysis, ISSTA 2008, pp. 15\u201326. ACM, New York (2008). https:\/\/doi.org\/10.1145\/1390630.1390635. http:\/\/doi.acm.org\/10.1145\/1390630.1390635","DOI":"10.1145\/1390630.1390635"},{"key":"7_CR22","doi-asserted-by":"publisher","unstructured":"Sasnauskas, R., Link, J.A.B., Alizai, M.H., Wehrle, K.: KleeNet: automatic bug hunting in sensor network applications. In: Proceedings of the 6th ACM Conference on Embedded Network Sensor Systems, SenSys 2008, pp. 425\u2013426. ACM, New York (2008). https:\/\/doi.org\/10.1145\/1460412.1460485. http:\/\/doi.acm.org\/10.1145\/1460412.1460485","DOI":"10.1145\/1460412.1460485"},{"key":"7_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"419","DOI":"10.1007\/11817963_38","volume-title":"Computer Aided Verification","author":"K Sen","year":"2006","unstructured":"Sen, K., Agha, G.: CUTE and jCUTE: concolic unit testing and explicit path model-checking tools. In: Ball, T., Jones, R.B. (eds.) CAV 2006. LNCS, vol. 4144, pp. 419\u2013423. Springer, Heidelberg (2006). https:\/\/doi.org\/10.1007\/11817963_38"},{"key":"7_CR24","doi-asserted-by":"publisher","unstructured":"Sen, K., Marinov, D., Agha, G.: CUTE: a concolic unit testing engine for C. In: Proceedings of the 10th European Software Engineering Conference Held Jointly with 13th ACM SIGSOFT International Symposium on Foundations of Software Engineering, ESEC\/FSE-13, pp. 263\u2013272. ACM, New York (2005). https:\/\/doi.org\/10.1145\/1081706.1081750. http:\/\/doi.acm.org\/10.1145\/1081706.1081750","DOI":"10.1145\/1081706.1081750"},{"key":"7_CR25","doi-asserted-by":"publisher","unstructured":"Siddiqui, J.H., Khurshid, S.: ParSym: parallel symbolic execution. In: 2010 2nd International Conference on Software Technology and Engineering, vol. 1, pp. V1-405\u2013V1-409, October 2010. https:\/\/doi.org\/10.1109\/ICSTE.2010.5608866","DOI":"10.1109\/ICSTE.2010.5608866"},{"key":"7_CR26","doi-asserted-by":"publisher","unstructured":"Siddiqui, J.H., Khurshid, S.: Scaling symbolic execution using ranged analysis. In: Proceedings of the ACM International Conference on Object Oriented Programming Systems Languages and Applications, OOPSLA 2012, pp. 523\u2013536. ACM, New York (2012). https:\/\/doi.org\/10.1145\/2384616.2384654. http:\/\/doi.acm.org\/10.1145\/2384616.2384654","DOI":"10.1145\/2384616.2384654"},{"key":"7_CR27","doi-asserted-by":"publisher","unstructured":"Staats, M., P\u01ces\u01cereanu, C.: Parallel symbolic execution for structural test generation. In: Proceedings of the 19th International Symposium on Software Testing and Analysis, ISSTA 2010, pp. 183\u2013194. ACM, New York (2010). https:\/\/doi.org\/10.1145\/1831708.1831732. http:\/\/doi.acm.org\/10.1145\/1831708.1831732","DOI":"10.1145\/1831708.1831732"},{"key":"7_CR28","doi-asserted-by":"publisher","unstructured":"Trabish, D., Mattavelli, A., Rinetzky, N., Cadar, C.: Chopped symbolic execution. In: Proceedings of the 40th International Conference on Software Engineering, ICSE 2018, pp. 350\u2013360. ACM, New York (2018). https:\/\/doi.org\/10.1145\/3180155.3180251. http:\/\/doi.acm.org\/10.1145\/3180155.3180251","DOI":"10.1145\/3180155.3180251"},{"key":"7_CR29","doi-asserted-by":"publisher","unstructured":"Zamfir, C., Candea, G.: Execution synthesis: a technique for automated software debugging. In: Proceedings of the 5th European Conference on Computer Systems, EuroSys 2010, pp. 321\u2013334. ACM, New York (2010). https:\/\/doi.org\/10.1145\/1755913.1755946. http:\/\/doi.acm.org\/10.1145\/1755913.1755946","DOI":"10.1145\/1755913.1755946"}],"container-title":["Lecture Notes in Computer Science","Formal Methods and Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-63406-3_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,2,24]],"date-time":"2021-02-24T14:32:18Z","timestamp":1614177138000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-63406-3_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020]]},"ISBN":["9783030634056","9783030634063"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-63406-3_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2020]]},"assertion":[{"value":"19 December 2020","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ICFEM","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Formal Engineering Methods","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Singapore","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Singapore","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2020","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"1 March 2020","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"3 March 2020","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"22","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"icfem2020","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/formal-analysis.com\/icfem\/2020\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"41","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"16","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"4","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"39% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"2","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"No","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"1 Doctoral symposium paper in the back matter","order":10,"name":"additional_info_on_review_process","label":"Additional Info on Review Process","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}