{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T12:15:50Z","timestamp":1725624950715},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642338250"},{"type":"electronic","value":"9783642338267"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-33826-7_3","type":"book-chapter","created":{"date-parts":[[2012,9,25]],"date-time":"2012-09-25T18:46:25Z","timestamp":1348598785000},"page":"33-47","source":"Crossref","is-referenced-by-count":10,"title":["Sound Control-Flow Graph Extraction for Java Programs with Exceptions"],"prefix":"10.1007","author":[{"given":"Afshin","family":"Amighi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pedro","family":"de C. Gomes","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dilian","family":"Gurov","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marieke","family":"Huisman","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"3_CR1","unstructured":"ConFlEx, \n                    \n                      http:\/\/www.csc.kth.se\/~pedrodcg\/conflex"},{"key":"3_CR2","unstructured":"Amighi, A.: Flow Graph Extraction for Modular Verification of Java Programs. Master\u2019s thesis, KTH Royal Institute of Technology, Stockholm, Sweden (February 2011), \n                    \n                      http:\/\/www.nada.kth.se\/utbildning\/grukth\/exjobb\/rapportlistor\/2011\/rapporter11\/amighi_afshin_11038.pdf\n                    \n                    \n                  , Ref.: TRITA-CSC-E 2011:038"},{"key":"3_CR3","unstructured":"Amighi, A., de Carvalho Gomes, P., Gurov, D., Huisman, M.: Provably correct control-flow graphs from Java programs with exceptions. Tech. rep., KTH Royal Institute of Technology (2012), \n                    \n                      http:\/\/urn.kb.se\/resolve?urn=urn:nbn:se:kth:diva-61188"},{"key":"3_CR4","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":"3_CR5","unstructured":"Barre, N., Demange, D., Hubert, L., Monfort, V., Pichardie, D.: SAWJA API documentation (June 2011), \n                    \n                      http:\/\/javalib.gforge.inria.fr\/doc\/sawja-api\/sawja-1.3-doc\/api\/index.html"},{"issue":"3","key":"3_CR6","doi-asserted-by":"crossref","first-page":"217","DOI":"10.3233\/JCS-2001-9303","volume":"9","author":"F. Besson","year":"2001","unstructured":"Besson, F., Jensen, T., Le M\u00e9tayer, D., Thorn, T.: Model checking security properties of control flow graphs. J. of Computer Security\u00a09(3), 217\u2013250 (2001)","journal-title":"J. of Computer Security"},{"key":"3_CR7","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1145\/304065.304113","volume-title":"Proceedings of the ACM 1999 conference on Java Grande, JAVA 1999","author":"M.G. Burke","year":"1999","unstructured":"Burke, M.G., Choi, J.D., Fink, S., Grove, D., Hind, M., Sarkar, V., Serrano, M.J., Sreedhar, V.C., Srinivasan, H., Whaley, J.: The Jalape\u00f1o dynamic optimizing compiler for Java. In: Proceedings of the ACM 1999 conference on Java Grande, JAVA 1999, pp. 129\u2013141. ACM, New York (1999)"},{"key":"3_CR8","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1145\/381788.316171","volume":"24","author":"J.D. Choi","year":"1999","unstructured":"Choi, J.D., Grove, D., Hind, M., Sarkar, V.: Efficient and precise modeling of exceptions for the analysis of Java programs. SIGSOFT Softw. Eng. Notes\u00a024, 21\u201331 (1999)","journal-title":"SIGSOFT Softw. Eng. Notes"},{"key":"3_CR9","unstructured":"Demange, D., Jensen, T., Pichardie, D.: A provably correct stackless intermediate representation for Java bytecode. Tech. Rep. 7021, Inria Rennes (2009), \n                    \n                      http:\/\/www.irisa.fr\/celtique\/demange\/bir\/rr7021-3.pdf\n                    \n                    \n                  , version 3 (November 2010)"},{"issue":"7","key":"3_CR10","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":"3_CR11","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":"3_CR12","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":"3_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1007\/978-3-642-18070-5_8","volume-title":"Formal Verification of Object-Oriented Software","author":"M. Huisman","year":"2011","unstructured":"Huisman, M., Gurov, D.: CVPP: A Tool Set for Compositional Verification of Control\u2013Flow Safety Properties. In: Beckert, B., March\u00e9, C. (eds.) FoVeOOS 2010. LNCS, vol.\u00a06528, pp. 107\u2013121. Springer, Heidelberg (2011)"},{"key":"3_CR14","unstructured":"IBM: T.J. Watson Libraries for Analysis (Wala). \n                    \n                      http:\/\/wala.sourceforge.net\/"},{"key":"3_CR15","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1145\/1288258.1288259","volume":"42","author":"S. Jiang","year":"2007","unstructured":"Jiang, S., Jiang, Y.: An analysis approach for testing exception handling programs. SIGPLAN Not.\u00a042, 3\u20138 (2007)","journal-title":"SIGPLAN Not."},{"key":"3_CR16","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)"},{"key":"3_CR17","unstructured":"Milner, R.: Communicating and mobile systems: the \u03c0-calculus, ch. 6, pp. 52\u201353. Cambridge University Press, New York (1999)"},{"key":"3_CR18","doi-asserted-by":"crossref","unstructured":"Sinha, S., Harrold, M.J.: Criteria for testing exception-handling constructs in Java programs. In: Proceedings of the IEEE International Conference on Software Maintenance, ICSM 1999, pp. 265\u2013276. IEEE Computer Society (1999)","DOI":"10.1109\/ICSM.1999.792624"},{"key":"3_CR19","doi-asserted-by":"publisher","first-page":"849","DOI":"10.1109\/32.877846","volume":"26","author":"S. Sinha","year":"2000","unstructured":"Sinha, S., Harrold, M.J.: Analysis and testing of programs with exception handling constructs. IEEE Trans. Softw. Eng.\u00a026, 849\u2013871 (2000)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"3_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"366","DOI":"10.1007\/978-3-642-24690-6_25","volume-title":"Software Engineering and Formal Methods","author":"S. Soleimanifard","year":"2011","unstructured":"Soleimanifard, S., Gurov, D., Huisman, M.: ProMoVer: Modular Verification of Temporal Safety Properties. In: Barthe, G., Pardo, A., Schneider, G. (eds.) SEFM 2011. LNCS, vol.\u00a07041, pp. 366\u2013381. Springer, Heidelberg (2011)"},{"key":"3_CR21","doi-asserted-by":"publisher","first-page":"264","DOI":"10.1145\/353171.353189","volume-title":"Proceedings of the 15th ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2000","author":"V. Sundaresan","year":"2000","unstructured":"Sundaresan, V., Hendren, L., Razafimahefa, C., Vall\u00e9e-Rai, R., Lam, P., Gagnon, E., Godin, C.: Practical virtual method call resolution for java. In: Proceedings of the 15th ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2000, pp. 264\u2013280. ACM, New York (2000), \n                    \n                      http:\/\/doi.acm.org\/10.1145\/353171.353189"},{"key":"3_CR22","unstructured":"Vall\u00e9e-Rai, R., Hendren, L., Sundaresan, V., Lam, P., Gagnon, E., Co, P.: Soot - a Java Optimization Framework. In: CASCON 1999, pp. 125\u2013135 (1999), \n                    \n                      http:\/\/www.sable.mcgill.ca\/soot\/"}],"container-title":["Lecture Notes in Computer Science","Software Engineering and Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-33826-7_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,7]],"date-time":"2019-05-07T18:07:14Z","timestamp":1557252434000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-33826-7_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642338250","9783642338267"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-33826-7_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}