University of Limerick Institutional Repository

Reachability analysis for annotated code

DSpace Repository

Show simple item record Janota, Mikolas Grigore, Radu Moskal, Michal 2012-06-12T09:47:44Z 2012-06-12T09:47:44Z 2007
dc.identifier.citation 6th Workshop on Specification and Verification of Component-Based Systems (SAVCBS 2007) collocated with the 6th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FS) en_US
dc.description peer-reviewed en_US
dc.description.abstract We devised a reachability analysis that exploits code annotations and implemented it as a component of the extended static checker ESC/Java2. The component reports unchecked code and a class of errors previously undetected. We applied the analysis to existing annotated code and uncovered errors that were unknown to the developers. We present the algorithm performing the analysis and discuss errors that it detects. en_US
dc.language.iso eng en_US
dc.publisher Association for Computing Machinery
dc.relation.ispartofseries SAVCBS 2007;
dc.rights "© ACM, 2007. This is the author's version of the work. It is posted here by permission of ACM for your personal use. Not for redistribution. The definitive version was published in SAVCBS '07
dc.subject analysis en_US
dc.subject existing annotated code en_US
dc.title Reachability analysis for annotated code en_US
dc.type info:eu-repo/semantics/conferenceObject en_US
dc.type.supercollection all_ul_research en_US
dc.type.supercollection ul_published_reviewed en_US
dc.contributor.sponsor SFI en_US
dc.rights.accessrights info:eu-repo/semantics/openAccess en_US

Files in this item

This item appears in the following Collection(s)

Show simple item record

Search ULIR


My Account