{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,4]],"date-time":"2026-06-04T21:45:15Z","timestamp":1780609515901,"version":"3.54.1"},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540374435","type":"print"},{"value":"9783540374459","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11818502_2","type":"book-chapter","created":{"date-parts":[[2006,10,3]],"date-time":"2006-10-03T13:19:21Z","timestamp":1159881561000},"page":"22-41","source":"Crossref","is-referenced-by-count":2,"title":["Exception-Handling Bugs in Java and a Language Extension to Avoid Them"],"prefix":"10.1007","author":[{"given":"Westley","family":"Weimer","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"2_CR1","doi-asserted-by":"crossref","unstructured":"Candea, G., Delgado, M., Chen, M., Fox, A.: Automatic failure-path inference: A generic introspection technique for internet applications. In: IEEE Workshop on Internet Applications, San Jose, California (2003)","DOI":"10.1109\/WIAPP.2003.1210298"},{"key":"2_CR2","doi-asserted-by":"crossref","unstructured":"Fu, C., Ryder, B., Milanova, A., Wannacott, D.: Testing of java web services for robustness. In: International Symposium on Software Testing and Analysis (2004)","DOI":"10.1145\/1007512.1007516"},{"key":"2_CR3","doi-asserted-by":"publisher","first-page":"683","DOI":"10.1145\/361227.361230","volume":"18","author":"J.B. Goodenough","year":"1975","unstructured":"Goodenough, J.B.: Exception handling: issues and a proposed notation. Communications of the ACM\u00a018, 683\u2013696 (1975)","journal-title":"Communications of the ACM"},{"key":"2_CR4","doi-asserted-by":"crossref","unstructured":"Weimer, W., Necula, G.C.: Finding and preventing run-time error handling mistakes. In: Object-oriented programming, systems, languages, and applications, pp. 419\u2013431 (2004)","DOI":"10.1145\/1028976.1029011"},{"key":"2_CR5","unstructured":"Brown, A., Patterson, D.: Undo for operators: Building an undoable e-mail store. In: USENIX Annual Technical Conference (2003)"},{"key":"2_CR6","doi-asserted-by":"crossref","unstructured":"Engler, D., Chelf, B., Chou, A., Hallem, S.: Checking system rules using system-specific, programmer-written compiler extensions. In: Operating Systems Design and Implementation (2000)","DOI":"10.21236\/ADA419626"},{"key":"2_CR7","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1145\/543552.512538","volume":"37","author":"M. Das","year":"2002","unstructured":"Das, M., Lerner, S., Seigle, M.: ESP: path-sensitive program verification in polynomial time. SIGPLAN Notices\u00a037, 57\u201368 (2002)","journal-title":"SIGPLAN Notices"},{"key":"2_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1007\/3-540-45139-0_7","volume-title":"Model Checking Software","author":"T. Ball","year":"2001","unstructured":"Ball, T., Rajamani, S.K.: Automatically validating temporal safety properties of interfaces. In: Dwyer, M.B. (ed.) SPIN 2001. LNCS, vol.\u00a02057, pp. 103\u2013122. Springer, Heidelberg (2001)"},{"key":"2_CR9","unstructured":"Chen, H., Dean, D., Wagner, D.: Model checking one million lines of C code. In: Network and Distributed System Security Symposium, San Diego, CA (2004)"},{"key":"2_CR10","first-page":"194","volume-title":"Principles of Programming Languages","author":"G.A. Kildall","year":"1973","unstructured":"Kildall, G.A.: A unified approach to global program optimization. In: Principles of Programming Languages, pp. 194\u2013206. ACM Press, New York (1973)"},{"key":"2_CR11","doi-asserted-by":"crossref","unstructured":"DeLine, R., F\u00e4hndrich, M.: Enforcing high-level protocols in low-level software. In: Programming Language Design and Implementation, pp. 59\u201369 (2001)","DOI":"10.1145\/381694.378811"},{"key":"2_CR12","doi-asserted-by":"crossref","unstructured":"Kremenek, T., Ashcraft, K., Yang, J., Engler, D.: Correlation exploitation in error ranking. In: Foundations of software engineering, pp. 83\u201393 (2004)","DOI":"10.1145\/1029894.1029909"},{"key":"2_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"461","DOI":"10.1007\/978-3-540-31980-1_30","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"W. Weimer","year":"2005","unstructured":"Weimer, W., Necula, G.C.: Mining Temporal Specifications for Error Detection. In: Halbwachs, N., Zuck, L.D. (eds.) TACAS 2005. LNCS, vol.\u00a03440, pp. 461\u2013476. Springer, Heidelberg (2005)"},{"key":"2_CR14","doi-asserted-by":"crossref","unstructured":"Gay, D., Aiken, A.: Memory management with explicit regions. In: Programming Language Design and Implementation, pp. 313\u2013323 (1998)","DOI":"10.1145\/277650.277748"},{"key":"2_CR15","unstructured":"O\u2019Hanley, J.: Always close streams (2005), http:\/\/www.javapractices.com\/"},{"key":"2_CR16","volume-title":"Principles of Programming Languages","author":"H.J. Boehm","year":"2003","unstructured":"Boehm, H.J.: Destructors, finalizers and synchronization. In: Principles of Programming Languages. ACM Press, New York (2003)"},{"key":"2_CR17","unstructured":"Korth, H.F., Levy, E., Silberschatz, A.: A formal approach to recovery by compensating transactions. The VLDB Journal, 95\u2013106 (1990)"},{"key":"2_CR18","unstructured":"Alonso, G., Kamath, M., Agrawal, D., Abbadi, A.E., Gunthor, R., Mohan, C.: Failure handling in large-scale workflow management systems. Technical Report RJ9913, IBM Almaden Research Center, San Jose, CA (1994)"},{"key":"2_CR19","doi-asserted-by":"crossref","unstructured":"Odersky, M., Wadler, P.: Pizza into Java: Translating theory into practice. In: Principles of Programming Languages, pp. 146\u2013159 (1997)","DOI":"10.1145\/263699.263715"},{"key":"2_CR20","doi-asserted-by":"publisher","first-page":"74","DOI":"10.1109\/4434.865896","volume":"8","author":"G. Alonso","year":"2000","unstructured":"Alonso, G., Hagen, C., Agrawal, D., Abbadi, A.E., Mohan, C.: Enhancing the fault tolerance of workflow management systems. IEEE Concurrency\u00a08, 74\u201381 (2000)","journal-title":"IEEE Concurrency"},{"key":"2_CR21","unstructured":"Sun Microsystems: Java pet store 1.1.2 blueprint application (2001), http:\/\/java.sun.com\/blueprints\/code\/"},{"key":"2_CR22","doi-asserted-by":"crossref","first-page":"595","DOI":"10.1109\/DSN.2002.1029005","volume-title":"International Conference on Dependable Systems and Networks","author":"M.Y. Chen","year":"2002","unstructured":"Chen, M.Y., Kiciman, E., Fratkin, E., Fox, A., Brewer, E.: Pinpoint: Problem determination in large, dynamic Internet services. In: International Conference on Dependable Systems and Networks, pp. 595\u2013604. IEEE Computer Society, Los Alamitos (2002)"}],"container-title":["Lecture Notes in Computer Science","Advanced Topics in Exception Handling Techniques"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11818502_2.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:16:18Z","timestamp":1605644178000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11818502_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540374435","9783540374459"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/11818502_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006]]}}}