JavaMOP: Efficient parametric runtime monitoring framework

Dongyun Jin, Patrick O.Neil Meredith, Choonghwan Lee, Grigore Rosu

Research output: Chapter in Book/Report/Conference proceedingConference contribution


Runtime monitoring is a technique usable in all phases of the software development cycle, from initial testing, to debugging, to actually maintaining proper function in production code. Of particular importance are parametric monitoring systems, which allow the specification of properties that relate objects in a program, rather than only global properties. In the past decade, a number of parametric runtime monitoring systems have been developed. Here we give a demonstration of our system, JavaMOP. It is the only parametric monitoring system that allows multiple differing logical formalisms. It is also the most efficient in terms of runtime overhead, and very competitive with respect to memory usage.

Original languageEnglish (US)
Title of host publicationProceedings - 34th International Conference on Software Engineering, ICSE 2012
Number of pages4
StatePublished - Jul 30 2012
Event34th International Conference on Software Engineering, ICSE 2012 - Zurich, Switzerland
Duration: Jun 2 2012Jun 9 2012

Publication series

NameProceedings - International Conference on Software Engineering
ISSN (Print)0270-5257


Other34th International Conference on Software Engineering, ICSE 2012


  • aspect-oriented programming
  • debugging
  • runtime monitoring
  • runtime verification
  • testing

ASJC Scopus subject areas

  • Software


Dive into the research topics of 'JavaMOP: Efficient parametric runtime monitoring framework'. Together they form a unique fingerprint.

Cite this