{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T13:35:41Z","timestamp":1725543341162},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540372158"},{"type":"electronic","value":"9783540372165"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11813040_27","type":"book-chapter","created":{"date-parts":[[2006,8,7]],"date-time":"2006-08-07T10:51:03Z","timestamp":1154947863000},"page":"396-411","source":"Crossref","is-referenced-by-count":10,"title":["Towards Automatic Exception Safety Verification"],"prefix":"10.1007","author":[{"given":"Xin","family":"Li","sequence":"first","affiliation":[]},{"given":"H. James","family":"Hoover","sequence":"additional","affiliation":[]},{"given":"Piotr","family":"Rudnicki","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"27_CR1","unstructured":"The fizmez web server. see: http:\/\/fizmez.com\/"},{"key":"27_CR2","unstructured":"Kopi Java open source compiler. see: http:\/\/www.dms.at\/kopi"},{"key":"27_CR3","volume-title":"The Java Programming Language","author":"K. Arnold","year":"2000","unstructured":"Arnold, K., Gosling, J., Holmes, D.: The Java Programming Language. Addison-Wesley Longman Publishing Co., Inc., Boston (2000)"},{"key":"27_CR4","doi-asserted-by":"crossref","unstructured":"Corbett, J.C., Dwyer, M.B., Hatcliff, J., Laubach, S., P\u0103s\u0103reanu, C.S., Robby, Hongjun, Z.: Bandera: extracting finite-state models from Java source code. In: International Conference on Software Engineering, pp. 439\u2013448 (2000)","DOI":"10.1145\/337180.337234"},{"key":"27_CR5","unstructured":"Drossopoulou, S., Valkevych, T., Eisenbach, S.: Java type soundness revisited. Technical report, Imperial College (2000)"},{"key":"27_CR6","unstructured":"Elonen, J.: The nanohttpd http server. see: elonen.iki.fi\/code\/nanohttpd"},{"key":"27_CR7","doi-asserted-by":"crossref","unstructured":"Flanagan, C., Leino, K.R.M., M., Lillibridge, M., Nelson, G., Saxe, J.B., Stata, R.: Extended static checking for java. In: PLDI, pp. 234\u2013245 (2002)","DOI":"10.1145\/543552.512558"},{"key":"27_CR8","unstructured":"Goodwin, P.: Exception patterns. See: http:\/\/www.c2.com\/cgi\/wiki?ExceptionPatterns"},{"key":"27_CR9","doi-asserted-by":"crossref","unstructured":"Huth, M., Ryan, M.: Logic in Computer Science: Modelling and Reasoning about Systems, 2nd edn., Cambridge (2004)","DOI":"10.1017\/CBO9780511810275"},{"issue":"1","key":"27_CR10","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1016\/S0164-1212(03)00057-8","volume":"72","author":"J.-W. Jo","year":"2004","unstructured":"Jo, J.-W., Chang, B.-M., Yi, K., Choe, K.-M.: An uncaught exception analysis for Java. Journal of Systems and Software\u00a072(1), 59\u201369 (2004)","journal-title":"Journal of Systems and Software"},{"key":"27_CR11","doi-asserted-by":"crossref","first-page":"175","DOI":"10.1007\/978-1-4615-5229-1_12","volume-title":"Behavioral Specifications of Businesses and Systems","author":"G.T. Leavens","year":"1999","unstructured":"Leavens, G.T., Baker, A.L., Ruby, C.: JML: A notation for detailed design. In: Kilov, H., Rumpe, B., Simmonds, I. (eds.) Behavioral Specifications of Businesses and Systems, pp. 175\u2013188. Kluwer Academic Publishers, Dordrecht (1999)"},{"key":"27_CR12","unstructured":"Leino, K.R.M., Schulte, W.: Exception safety for C#. In: SEFM, pp. 218\u2013227 (2004)"},{"key":"27_CR13","doi-asserted-by":"crossref","unstructured":"Maxion, R.A., Olszewski, R.T.: Improving software robustness with dependability cases. In: Digest of Papers. Twenty-Eighth Annual International Symposium on Fault-Tolerant Computing, pp. 346\u2013355 (1998)","DOI":"10.1109\/FTCS.1998.689485"},{"key":"27_CR14","doi-asserted-by":"crossref","unstructured":"Robby, Dwyer, M.B., Hatcliff, J.: Bogor: an extensible and highly-modular software model checking framework. In: ESEC \/ SIGSOFT FSE, pp. 267\u2013276 (2003)","DOI":"10.1145\/949952.940107"},{"issue":"2","key":"27_CR15","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1145\/941566.941569","volume":"12","author":"M.P. Robillard","year":"2003","unstructured":"Robillard, M.P., Murphy, G.C.: Static analysis to support the evolution of exception structure in object-oriented systems. ACM Trans. Softw. Eng. Methodol.\u00a012(2), 191\u2013221 (2003)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"27_CR16","volume-title":"The C++ Programming Language","author":"B. Stroustrup","year":"1997","unstructured":"Stroustrup, B.: The C++ Programming Language. Addison-Wesley, Reading (1997)"},{"key":"27_CR17","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1109\/ASE.2000.873645","volume-title":"ASE 2000: Proceedings of the The Fifteenth IEEE International Conference on Automated Software Engineering (ASE 2000)","author":"W. Visser","year":"2000","unstructured":"Visser, W., Havelund, K., Brat, G., Park, S.: Model checking programs. In: ASE 2000: Proceedings of the The Fifteenth IEEE International Conference on Automated Software Engineering (ASE 2000), Washington, DC, USA, p. 3. IEEE Computer Society, Los Alamitos (2000)"},{"key":"27_CR18","doi-asserted-by":"crossref","unstructured":"Weimer, W., Necula, G.C.: Finding and preventing run-time error handling mistakes. In: OOPSLA, pp. 419\u2013431 (2004)","DOI":"10.1145\/1028976.1029011"},{"issue":"4","key":"27_CR19","doi-asserted-by":"publisher","first-page":"352","DOI":"10.1109\/TSE.1984.5010248","volume":"10","author":"M. Weiser","year":"1984","unstructured":"Weiser, M.: Program slicing. IEEE Trans. Software Eng.\u00a010(4), 352\u2013357 (1984)","journal-title":"IEEE Trans. Software Eng."}],"container-title":["Lecture Notes in Computer Science","FM 2006: Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11813040_27.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:14:23Z","timestamp":1605644063000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11813040_27"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540372158","9783540372165"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/11813040_27","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}