{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,22]],"date-time":"2025-06-22T21:40:05Z","timestamp":1750628405007,"version":"3.41.0"},"publisher-location":"Cham","reference-count":22,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319624037"},{"type":"electronic","value":"9783319624044"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-62404-4_42","type":"book-chapter","created":{"date-parts":[[2017,7,14]],"date-time":"2017-07-14T11:17:03Z","timestamp":1500031023000},"page":"561-574","source":"Crossref","is-referenced-by-count":0,"title":["Improving Static Initialization Block Handling in Java Symbolic Execution Engine"],"prefix":"10.1007","author":[{"given":"Edit","family":"Peng\u0151","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Istv\u00e1n","family":"Siket","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,7,15]]},"reference":[{"issue":"7","key":"42_CR1","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/390013.808479","volume":"5","author":"FE Allen","year":"1970","unstructured":"Allen, F.E.: Control flow analysis. SIGPLAN Not. 5(7), 1\u201319 (1970)","journal-title":"SIGPLAN Not."},{"key":"42_CR2","unstructured":"Baldoni, R., Coppa, E., D\u2019Elia, D.C., Demetrescu, C., Finocchi, I.: A survey of symbolic execution techniques. arXiv preprint arXiv:1610.00502 (2016)"},{"key":"42_CR3","doi-asserted-by":"crossref","unstructured":"Boyer, R.S., Elspas, B., Levitt, K.N.: SELECT - a 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)","DOI":"10.1145\/800027.808445"},{"key":"42_CR4","first-page":"209","volume":"8","author":"C Cadar","year":"2008","unstructured":"Cadar, C., Dunbar, D., Engler, D.R., et al.: Klee: unassisted and automatic generation of high-coverage tests for complex systems programs. OSDI 8, 209\u2013224 (2008)","journal-title":"OSDI"},{"key":"42_CR5","doi-asserted-by":"crossref","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)","DOI":"10.1145\/1180405.1180445"},{"issue":"2","key":"42_CR6","doi-asserted-by":"crossref","first-page":"82","DOI":"10.1145\/2408776.2408795","volume":"56","author":"C Cadar","year":"2013","unstructured":"Cadar, C., Sen, K.: Symbolic execution for software testing: three decades later. Commun. ACM 56(2), 82\u201390 (2013)","journal-title":"Commun. ACM"},{"key":"42_CR7","unstructured":"The Checkstyle Homepage. http:\/\/checkstyle.sourceforge.net"},{"issue":"6","key":"42_CR8","doi-asserted-by":"crossref","first-page":"229","DOI":"10.1049\/sej.1988.0029","volume":"3","author":"PD Coward","year":"1988","unstructured":"Coward, P.D.: Symbolic execution systems - a review. Softw. Eng. J. 3(6), 229\u2013239 (1988)","journal-title":"Softw. Eng. J."},{"key":"42_CR9","doi-asserted-by":"crossref","unstructured":"Ferenc, R., Besz\u00e9des, \u00c1., Tarkiainen, M., Gyim\u00f3thy, T.: Columbus \u2013 reverse engineering tool and schema for C++. In: Proceedings of the 18th International Conference on Software Maintenance (ICSM 2002), pp. 172\u2013181. IEEE Computer Society, October 2002","DOI":"10.1109\/ICSM.2002.1167764"},{"key":"42_CR10","unstructured":"The FindBugs Homepage. http:\/\/findbugs.sourceforge.net"},{"key":"42_CR11","doi-asserted-by":"crossref","unstructured":"Godefroid, P., Klarlund, N., Sen, K.: DART: directed automated random testing. In: Proceedings of the 2005 ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2005, pp. 213\u2013223. ACM, New York (2005)","DOI":"10.1145\/1065010.1065036"},{"key":"42_CR12","unstructured":"Java PathFinder Tool-set. http:\/\/babelfish.arc.nasa.gov\/trac\/jpf"},{"issue":"3","key":"42_CR13","doi-asserted-by":"crossref","first-page":"331","DOI":"10.14232\/actacyb.21.3.2014.4","volume":"21","author":"I K\u00e1d\u00e1r","year":"2014","unstructured":"K\u00e1d\u00e1r, I., Heged\u0171s, P., Ferenc, R.: Runtime exception detection in java programs using symbolic execution. Acta Cybern. 21(3), 331\u2013352 (2014)","journal-title":"Acta Cybern."},{"key":"42_CR14","doi-asserted-by":"crossref","unstructured":"K\u00e1d\u00e1r, I., Heged\u0171s, P., Ferenc, R.: Adding constraint building mechanisms to a symbolic execution engine developed for detecting runtime errors. In: Proceedings of the 15th International Conference on Computational Science and Its Applications, pp. 20\u201335 (2015)","DOI":"10.1007\/978-3-319-21413-9_2"},{"issue":"7","key":"42_CR15","doi-asserted-by":"crossref","first-page":"385","DOI":"10.1145\/360248.360252","volume":"19","author":"JC King","year":"1976","unstructured":"King, J.C.: Symbolic execution and program testing. Commun. ACM 19(7), 385\u2013394 (1976)","journal-title":"Commun. ACM"},{"key":"42_CR16","doi-asserted-by":"crossref","unstructured":"Majumdar, R., Sen, K., Hybrid concolic testing. In: Proceedings - International Conference on Software Engineering, pp. 416\u2013425 (2007)","DOI":"10.1109\/ICSE.2007.41"},{"key":"42_CR17","unstructured":"The PMD Homepage. http:\/\/pmd.sourceforge.net"},{"key":"42_CR18","doi-asserted-by":"crossref","unstructured":"P\u0103s\u0103reanu, C.S., Rungta, N., PathFinder, S.: Symbolic execution of Java Bytecode. In: Proceedings of the IEEE\/ACM International Conference on Automated Software Engineering, ASE 2010, pp. 179\u2013180. ACM, New York (2010)","DOI":"10.1145\/1858996.1859035"},{"key":"42_CR19","unstructured":"Ramos, D.A., Engler, D.: Under-constrained symbolic execution: correctness checking for real code. In: 24th USENIX Security Symposium (USENIX Security 2015), pp. 49\u201364. USENIX Association, Washington, D.C. (2015)"},{"key":"42_CR20","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). doi: 10.1007\/11817963_38"},{"key":"42_CR21","unstructured":"The SourceMeter Homepage. https:\/\/www.sourcemeter.com"},{"key":"42_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"134","DOI":"10.1007\/978-3-540-79124-9_10","volume-title":"Tests and Proofs","author":"N Tillmann","year":"2008","unstructured":"Tillmann, N., Halleux, J.: Pex\u2013white box test generation for.NET. In: Beckert, B., H\u00e4hnle, R. (eds.) TAP 2008. LNCS, vol. 4966, pp. 134\u2013153. Springer, Heidelberg (2008). doi: 10.1007\/978-3-540-79124-9_10"}],"container-title":["Lecture Notes in Computer Science","Computational Science and Its Applications \u2013 ICCSA 2017"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-62404-4_42","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,22]],"date-time":"2025-06-22T21:11:53Z","timestamp":1750626713000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-62404-4_42"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319624037","9783319624044"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-62404-4_42","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}