Monitoring method call sequences using annotations

Behrooz Nobakht, Frank S. de Boer, Marcello M. Bonsangue, Stijn de Gouw, Mohammad Mahdi Jaghoori

Research output: Contribution to journalArticleAcademicpeer-review


In this paper we introduce JMSeq, a Java-based tool for monitoring sequences of method calls. JMSeq provides a simple but expressive language to specify the observables of a Java program in terms of sequences of possibly nested method calls. Similar to many monitoring-oriented environments, verification in JMSeq is done at runtime; unlike all other approaches based on aspect-oriented programming, JMSeq uses code annotation rather than instrumentation, and therefore is suitable for component-based software verification.
Original languageEnglish
Pages (from-to)362-378
Number of pages17
JournalScience of computer programming
Issue numberpt.3
Publication statusPublished - 2014
Externally publishedYes


Dive into the research topics of 'Monitoring method call sequences using annotations'. Together they form a unique fingerprint.

Cite this