{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T04:30:49Z","timestamp":1729657849045,"version":"3.28.0"},"reference-count":25,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,6]]},"DOI":"10.1109\/weh.2012.6226596","type":"proceedings-article","created":{"date-parts":[[2012,7,9]],"date-time":"2012-07-09T17:26:11Z","timestamp":1341854771000},"page":"34-40","source":"Crossref","is-referenced-by-count":1,"title":["Handling contract violations in Java Card using explict exception channels"],"prefix":"10.1109","author":[{"given":"Juliana","family":"Araujo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rafael","family":"Souza","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nelio","family":"Cacho","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Anamaria","family":"Martins","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Placido A Souza","family":"Neto","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"crossref","first-page":"18","DOI":"10.1007\/3-540-46423-9_2","article-title":"Optimizing Java bytecode using the Soot framework: Is it feasible?","author":"valle?e-rai","year":"2000","journal-title":"Compiler Construction 9th International Conference (CC 2000)"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1145\/355045.355046"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1145\/941566.941569"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1145\/1353482.1353492"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1145\/1454268.1454274"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/2.161279"},{"journal-title":"Runtime Environment Specification - Java Card Platform Runtime Environment Specification Version 3 0","year":"2008","key":"14"},{"journal-title":"A Run-time Assertion Checker for Java Using JML","year":"2000","author":"bhorkar","key":"11"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1002\/9780470660911"},{"key":"21","article-title":"Joinpoint Inference from Behavioral Specification to Implementation","volume":"4609","author":"cottenier","year":"2007","journal-title":"LNCS"},{"journal-title":"Java Card Applet Developer's Guide","year":"1998","key":"20"},{"key":"22","article-title":"The Motorola WEAVR: Model Weaving in a Large Industrial Context","author":"cottenier","year":"2007","journal-title":"Proceedings of the Industry Track at the 6th International Conference on Aspect- Oriented Software Development (AOSD'07)"},{"key":"23","first-page":"230","article-title":"Exception-Chain Analysis: Revealing Exception Handling Architecture in Java Server Applications","author":"fu","year":"2007","journal-title":"Proceedings of ICSE'07"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.1109\/LADCW.2011.18"},{"key":"25","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(87)90035-9"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2010.03.003"},{"key":"2","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1016\/j.entcs.2009.05.045","article-title":"Specification and runtime verification of Java Card programs","volume":"240","author":"costa","year":"2009","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1145\/1321631.1321747"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlap.2003.07.006"},{"journal-title":"An Introduction to Java Card Technology","year":"2005","author":"ortiz","key":"7"},{"journal-title":"API specification - Java Card Platform Application Programming Interface Specification Version 2 2 1","year":"2005","key":"6"},{"journal-title":"Java Card Technology for Smart Cards Architecture and Programmer's Guide","year":"2000","author":"chen","key":"5"},{"journal-title":"Why A Multi-language Multi-prover Verification Condition Generation","year":"2003","author":"fillia?tre","key":"4"},{"journal-title":"JML Reference Manual","year":"2008","author":"leavens","key":"9"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1145\/2076674.2076681"}],"event":{"name":"2012 5th International Workshop on Exception Handling (WEH)","start":{"date-parts":[[2012,6,9]]},"location":"Zurich, Switzerland","end":{"date-parts":[[2012,6,9]]}},"container-title":["2012 5th International Workshop on Exception Handling (WEH)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6220312\/6226587\/06226596.pdf?arnumber=6226596","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,30]],"date-time":"2019-06-30T15:07:00Z","timestamp":1561907220000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6226596\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,6]]},"references-count":25,"URL":"https:\/\/doi.org\/10.1109\/weh.2012.6226596","relation":{},"subject":[],"published":{"date-parts":[[2012,6]]}}}