{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T00:16:45Z","timestamp":1740097005006,"version":"3.37.3"},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642548031"},{"type":"electronic","value":"9783642548048"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-642-54804-8_15","type":"book-chapter","created":{"date-parts":[[2014,3,21]],"date-time":"2014-03-21T05:59:16Z","timestamp":1395381556000},"page":"215-229","source":"Crossref","is-referenced-by-count":4,"title":["Sound Control Flow Graph Extraction from Incomplete Java Bytecode Programs"],"prefix":"10.1007","author":[{"given":"Pedro","family":"de Carvalho Gomes","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Attilio","family":"Picoco","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dilian","family":"Gurov","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"15_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"688","DOI":"10.1007\/978-3-642-31057-7_30","volume-title":"ECOOP 2012 \u2013 Object-Oriented Programming","author":"K. Ali","year":"2012","unstructured":"Ali, K., Lhot\u00e1k, O.: Application-only call graph construction. In: Noble, J. (ed.) ECOOP 2012. LNCS, vol.\u00a07313, pp. 688\u2013712. Springer, Heidelberg (2012), \n                    \n                      http:\/\/dx.doi.org\/10.1007\/978-3-642-31057-7_30"},{"key":"15_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1007\/978-3-642-33826-7_3","volume-title":"Software Engineering and Formal Methods","author":"A. Amighi","year":"2012","unstructured":"Amighi, A., de Carvalho Gomes, P., Gurov, D., Huisman, M.: Sound control-flow graph extraction for java programs with exceptions. In: Eleftherakis, G., Hinchey, M., Holcombe, M. (eds.) SEFM 2012. LNCS, vol.\u00a07504, pp. 33\u201347. Springer, Heidelberg (2012)"},{"key":"15_CR3","doi-asserted-by":"crossref","unstructured":"Bacon, D.F., Sweeney, P.F.: Fast static analysis of C++ virtual function calls. In: OOPSLA, pp. 324\u2013341 (1996)","DOI":"10.1145\/236338.236371"},{"key":"15_CR4","unstructured":"de Carvalho Gomes, P., Picoco, A.: Sound extraction of control-flow graphs from open java bytecode systems. Tech. rep., KTH Royal Institute of Technology (2012), \n                    \n                      http:\/\/urn.kb.se\/resolve?urn=urn:nbn:se:kth:diva-104076"},{"key":"15_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1007\/3-540-45937-5_13","volume-title":"Compiler Construction","author":"P. Cousot","year":"2002","unstructured":"Cousot, P., Cousot, R.: Modular static program analysis. In: Nigel Horspool, R. (ed.) CC 2002. LNCS, vol.\u00a02304, pp. 159\u2013178. Springer, Heidelberg (2002)"},{"issue":"10","key":"15_CR6","doi-asserted-by":"publisher","first-page":"313","DOI":"10.1145\/1449955.1449790","volume":"43","author":"B. Dagenais","year":"2008","unstructured":"Dagenais, B., Hendren, L.: Enabling static analysis for partial java programs. SIGPLAN Not.\u00a043(10), 313\u2013328 (2008)","journal-title":"SIGPLAN Not."},{"key":"15_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1007\/3-540-49538-X_5","volume-title":"ECOOP \u201995 - Object-Oriented Programming","author":"J. Dean","year":"1995","unstructured":"Dean, J., Grove, D., Chambers, C.: Optimization of object-oriented programs using static class hierarchy analysis. In: Olthoff, W. (ed.) ECOOP 1995. LNCS, vol.\u00a0952, pp. 77\u2013101. Springer, Heidelberg (1995)"},{"issue":"7","key":"15_CR8","doi-asserted-by":"crossref","first-page":"578","DOI":"10.1016\/j.jlap.2010.07.008","volume":"79","author":"J. Dovland","year":"2010","unstructured":"Dovland, J., Johnsen, E.B., Owe, O., Steffen, M.: Lazy behavioral subtyping. The Journal of Logic and Algebraic Programming\u00a079(7), 578\u2013607 (2010), The 20th Nordic Workshop on Programming Theory (NWPT 2008)","journal-title":"The Journal of Logic and Algebraic Programming"},{"key":"15_CR9","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1109\/ICSE.2001.919092","volume-title":"Proceedings of the 23rd International Conference on Software Engineering, ICSE 2001","author":"M.B. Dwyer","year":"2001","unstructured":"Dwyer, M.B., Hatcliff, J., Joehanes, R., Laubach, S., P\u0103s\u0103reanu, C.S., Zheng, H., Visser, W.: Tool-supported program abstraction for finite-state verification. In: Proceedings of the 23rd International Conference on Software Engineering, ICSE 2001, pp. 177\u2013187. IEEE Computer Society, Washington, DC (2001)"},{"key":"15_CR10","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1023\/A:1025011624925","volume":"30","author":"S.N. Freund","year":"2003","unstructured":"Freund, S.N., Mitchell, J.C.: A type system for the Java bytecode language and verifier. J. Autom. Reason.\u00a030, 271\u2013321 (2003)","journal-title":"J. Autom. Reason."},{"issue":"7","key":"15_CR11","doi-asserted-by":"publisher","first-page":"840","DOI":"10.1016\/j.ic.2008.03.003","volume":"206","author":"D. Gurov","year":"2008","unstructured":"Gurov, D., Huisman, M., Sprenger, C.: Compositional verification of sequential programs with procedures. Information and Computation\u00a0206(7), 840\u2013868 (2008)","journal-title":"Information and Computation"},{"key":"15_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1007\/978-3-642-18070-5_7","volume-title":"Formal Verification of Object-Oriented Software","author":"L. Hubert","year":"2011","unstructured":"Hubert, L., Barr\u00e9, N., Besson, F., Demange, D., Jensen, T., Monfort, V., Pichardie, D., Turpin, T.: Sawja: Static Analysis Workshop for Java. In: Beckert, B., March\u00e9, C. (eds.) FoVeOOS 2010. LNCS, vol.\u00a06528, pp. 92\u2013106. Springer, Heidelberg (2011)"},{"key":"15_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1007\/978-3-540-88194-0_11","volume-title":"Formal Methods and Software Engineering","author":"M. Huisman","year":"2008","unstructured":"Huisman, M., Aktug, I., Gurov, D.: Program models for compositional verification. In: Liu, S., Araki, K. (eds.) ICFEM 2008. LNCS, vol.\u00a05256, pp. 147\u2013166. Springer, Heidelberg (2008)"},{"key":"15_CR14","unstructured":"IBM: T.J. Watson Libraries for Analysis (2012), \n                    \n                      http:\/\/wala.sourceforge.net\/"},{"key":"15_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"106","DOI":"10.1007\/978-3-540-24707-4_14","volume-title":"Computational Science and Its Applications \u2013 ICCSA 2004","author":"J.-W. Jo","year":"2004","unstructured":"Jo, J.-W., Chang, B.-M.: Constructing control flow graph for java by decoupling exception flow from normal flow. In: Lagan\u00e1, A., Gavrilova, M.L., Kumar, V., Mun, Y., Tan, C.J.K., Gervasi, O. (eds.) ICCSA 2004. LNCS, vol.\u00a03043, pp. 106\u2013113. Springer, Heidelberg (2004), \n                    \n                      http:\/\/dx.doi.org\/10.1007\/978-3-540-24707-4_14"},{"key":"15_CR16","unstructured":"Lam, P., Bodden, E., Lhot\u00e1k, O., Hendren, L.: The Soot framework for Java program analysis: a retrospective. In: Cetus Users and Compiler Infrastructure Workshop, Galveston Island, TX (October 2011)"},{"key":"15_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"396","DOI":"10.1007\/11813040_27","volume-title":"FM 2006: Formal Methods","author":"X. Li","year":"2006","unstructured":"Li, X., Hoover, H.J., Rudnicki, P.: Towards automatic exception safety verification. In: Misra, J., Nipkow, T., Sekerinski, E. (eds.) FM 2006. LNCS, vol.\u00a04085, pp. 396\u2013411. Springer, Heidelberg (2006)"},{"key":"15_CR18","unstructured":"Lindholm, T., Yellin, F., Bracha, G., Buckley, A.: The java virtual machine specification. java se 7 edition. Tech. Rep. JSR-000924, Oracle (2012)"}],"container-title":["Lecture Notes in Computer Science","Fundamental Approaches to Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-54804-8_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,26]],"date-time":"2019-05-26T08:09:05Z","timestamp":1558858145000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-54804-8_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783642548031","9783642548048"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-54804-8_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}