{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T13:48:23Z","timestamp":1742392103192},"reference-count":22,"publisher":"Elsevier BV","issue":"1","license":[{"start":{"date-parts":[[2004,6,1]],"date-time":"2004-06-01T00:00:00Z","timestamp":1086048000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Systems and Software"],"published-print":{"date-parts":[[2004,6]]},"DOI":"10.1016\/s0164-1212(03)00057-8","type":"journal-article","created":{"date-parts":[[2003,10,15]],"date-time":"2003-10-15T17:54:47Z","timestamp":1066240487000},"page":"59-69","source":"Crossref","is-referenced-by-count":33,"title":["An uncaught exception analysis for Java"],"prefix":"10.1016","volume":"72","author":[{"given":"Jang-Wu","family":"Jo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Byeong-Mo","family":"Chang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kwangkeun","family":"Yi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kwang-Moo","family":"Choe","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S0164-1212(03)00057-8_BIB1","unstructured":"Chang, B.-M., Yi, K., Jo, J., 2000. Constraint-based analysis for Java. In: SSGRR 2000 Computer and e-Business Conference, August 2000, L'Aquila, Italy"},{"key":"10.1016\/S0164-1212(03)00057-8_BIB2","unstructured":"Chatterjee, R.K., Ryder, B.G., 1999. Data-flow-based testing of object-oriented libraries. Technical Report DCS-TR-382, Rutgers University"},{"key":"10.1016\/S0164-1212(03)00057-8_BIB3","doi-asserted-by":"crossref","unstructured":"Chatterjee, R.K., Ryder, B.G., Landi, W.A., 1998. Complexity of concrete type-inference in the presence of exceptions. In: Lecture notes in Computer Science 1381, pp. 57\u201374","DOI":"10.1007\/BFb0053563"},{"key":"10.1016\/S0164-1212(03)00057-8_BIB4","doi-asserted-by":"crossref","unstructured":"Choi, J.-D., Grove, D., Hind, M., Sarkar, V., 1999. Efficient and precise modeling of exceptions for analysis of Java programs. In: Proceedings of PASTE '99 ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, September 1999, pp. 21\u201331","DOI":"10.1145\/316158.316171"},{"key":"10.1016\/S0164-1212(03)00057-8_BIB5","series-title":"Proceedings of the 7th International Conference on Computer-Aided Verification Edition","first-page":"293","article-title":"Compositional and inductive semantic definitions in fixpoint, equational, constraint, closure-condition, rule-based and game-theoretic form","volume":"vol. 939","author":"Cousot","year":"1995"},{"key":"10.1016\/S0164-1212(03)00057-8_BIB6","doi-asserted-by":"crossref","unstructured":"DeFouw, G., Grove, D., Chambers, C., 1998. Fast interprocedural class analysis. In: Proceedings of 25th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, January 1998. pp. 222\u2013236","DOI":"10.1145\/268946.268965"},{"key":"10.1016\/S0164-1212(03)00057-8_BIB7","doi-asserted-by":"crossref","unstructured":"Drossopoulou, S., Eisenbach, S., 1997. Java is type safe-probably. In: Proceedings of 97 ECOOP","DOI":"10.1007\/BFb0053388"},{"key":"10.1016\/S0164-1212(03)00057-8_BIB8","doi-asserted-by":"crossref","unstructured":"Drossopoulou, S., Valkevych, T., 1999. Java type soundness revisited. Techical Report, Imperial College. Available from <http:\/\/www.doc.ic.ac.uk\/scd>","DOI":"10.1007\/3-540-48737-9_2"},{"key":"10.1016\/S0164-1212(03)00057-8_BIB9","unstructured":"F\u00e4hndrich, M., Foster, J.S., Aiken, A., Cu, J., 1998. Tracking down exceptions in standard ML programs. Techical report, University of California at Berkeley, Computer Science Division"},{"key":"10.1016\/S0164-1212(03)00057-8_BIB10","series-title":"The Java Programming Language Specification","author":"Gosling","year":"1996"},{"issue":"12","key":"10.1016\/S0164-1212(03)00057-8_BIB11","doi-asserted-by":"crossref","DOI":"10.1145\/361227.361230","article-title":"Exception handling: Issues and proposed notation","volume":"18","author":"Goodenough","year":"1975","journal-title":"Communications of the ACM"},{"key":"10.1016\/S0164-1212(03)00057-8_BIB12","unstructured":"Heintze, N., 1992. Set-based program analysis. Ph.D. thesis, Carnegie Mellon University, October 1992"},{"key":"10.1016\/S0164-1212(03)00057-8_BIB13","doi-asserted-by":"crossref","unstructured":"Nipkow, T., Oheimb, D.V., 1998. Java is type safe-definitely. In: Proceedings of 25th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages","DOI":"10.1145\/268946.268960"},{"key":"10.1016\/S0164-1212(03)00057-8_BIB14","doi-asserted-by":"crossref","unstructured":"Palsberg, J., Schwarzbach, M.I., 1991. Object-oriented type inference. In: Proceedings of ACM Conference on OOPSLA. pp. 141\u2013161","DOI":"10.1145\/117954.117965"},{"key":"10.1016\/S0164-1212(03)00057-8_BIB15","doi-asserted-by":"crossref","unstructured":"Pessaux, F., Leroy, X., 1999. Type-based analysis of uncaught exceptions. In: Proceedings of 26th ACM Conference on Principles of Programming Languages","DOI":"10.1145\/292540.292565"},{"key":"10.1016\/S0164-1212(03)00057-8_BIB16","series-title":"Proceedings of the ESEC\/FSE '99 Seventh European Software Engineering Conference and Seventh ACM SIGSOFT Symposium on Notes in Computer Science","first-page":"322","article-title":"Analyzing exception flow in Java programs","author":"Robillard","year":"1999"},{"key":"10.1016\/S0164-1212(03)00057-8_BIB17","doi-asserted-by":"crossref","unstructured":"Ryder, B.G., Smith, D., Kremer, U., Gordon, M., Shah, N., 1999. A static study of Java exceptions using JESP. Technical Report DCS-TR-403, Rutgers University","DOI":"10.1007\/3-540-46423-9_5"},{"key":"10.1016\/S0164-1212(03)00057-8_BIB18","first-page":"26","article-title":"Analysis and testing of programs with exception-handling constructs","author":"Sinha","year":"2000","journal-title":"IEEE Trans. SE."},{"key":"10.1016\/S0164-1212(03)00057-8_BIB19","series-title":"Proceedings of the 1st Static Analysis Symposium, September 1994","first-page":"238","article-title":"Compile-time detection of uncaught exceptions in standard ML programs","volume":"vol. 864","author":"Yi","year":"1994"},{"key":"10.1016\/S0164-1212(03)00057-8_BIB20","series-title":"Proceedings of the 4th Static Analysis Symposium, September 1997","first-page":"98","article-title":"Towards a cost-effective estimation of uncaught exceptions in SML programs","volume":"vol. 1302","author":"Yi","year":"1997"},{"key":"10.1016\/S0164-1212(03)00057-8_BIB21","doi-asserted-by":"crossref","unstructured":"Yi, K., Ryu, S., 1998. SML\/NJ Exception Analysis version 0.98. Available from <http:\/\/compiler.kaist.ac.kr\/pub\/exna\/>, December 1998","DOI":"10.1007\/BFb0032736"},{"key":"10.1016\/S0164-1212(03)00057-8_BIB22","first-page":"277","article-title":"A cost-effective estimation of uncaught exceptions in standard ML programs","author":"Yi","year":"2002","journal-title":"Theoret. Comput. Sci."}],"container-title":["Journal of Systems and Software"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0164121203000578?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0164121203000578?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2020,3,26]],"date-time":"2020-03-26T03:39:49Z","timestamp":1585193989000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0164121203000578"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004,6]]},"references-count":22,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2004,6]]}},"alternative-id":["S0164121203000578"],"URL":"https:\/\/doi.org\/10.1016\/s0164-1212(03)00057-8","relation":{},"ISSN":["0164-1212"],"issn-type":[{"value":"0164-1212","type":"print"}],"subject":[],"published":{"date-parts":[[2004,6]]}}}