Java-MaC: a Run-time Assurance Tool for Java ProgramsJava-MaC: Java 프로그램을 위한 신뢰성 검사도구

Cited 0 time in webofscience Cited 0 time in scopus
  • Hit : 574
  • Download : 80
DC FieldValueLanguage
dc.contributor.authorKim, Moonzoo-
dc.contributor.authorKannan, S.-
dc.contributor.authorLee, I.-
dc.contributor.authorSokolsky, O.-
dc.date.accessioned2011-09-07T02:09:31Z-
dc.date.available2011-09-07T02:09:31Z-
dc.date.created2012-02-06-
dc.date.issued2001-07-23-
dc.identifier.citationRuntime Verification, v., no., pp.218 - 235-
dc.identifier.urihttp://hdl.handle.net/10203/25119-
dc.description.abstractWe describe Java-MaC, a prototype implementation of the Monitoring and Checking (MaC) architecture for Java programs. The MaC architecture provides assurance about the correct execution of target programs at run-time. Monitoring and checking is performed based on a formal specication of system requirements. MaC bridges the gap between formal verication, which ensures the correctness of a design rather than an implementation, and testing, which only partially validates an implementation. Java-MaC provides a lightweight formal method solution as a viable complement to the current heavyweight formal methods. An important aspect of the architecture is the clear separation between monitoring implementation-dependent low-level behaviors and checking high-level behaviors against a formal requirements specication. Another salient feature is automatic instrumentation of executable codes. The paper presents an overview of the MaC architecture and a prototype implementation Java-MaC.-
dc.languageENG-
dc.language.isoen_USen
dc.publisherRuntime Verification-
dc.titleJava-MaC: a Run-time Assurance Tool for Java Programs-
dc.title.alternativeJava-MaC: Java 프로그램을 위한 신뢰성 검사도구-
dc.typeConference-
dc.type.rimsCONF-
dc.citation.beginningpage218-
dc.citation.endingpage235-
dc.citation.publicationnameRuntime Verification-
dc.identifier.conferencecountryFrance-
dc.identifier.conferencecountryFrance-
dc.contributor.localauthorKim, Moonzoo-
dc.contributor.nonIdAuthorKannan, S.-
dc.contributor.nonIdAuthorLee, I.-
dc.contributor.nonIdAuthorSokolsky, O.-

qr_code

  • mendeley

    citeulike


rss_1.0 rss_2.0 atom_1.0