资 源 简 介
JMSeq has moved to http://github.com/nobeh/jmseq
JMSeq is a runtime verification tool to monitor and verify method call sequences in a Java program. JMSeq uses Java 5 annotations as the basic idea to annotate the to-be-verified methods at runtime. JMSeq is comparable with other frameworks such JavaMOP or JML that usually take advantage of code instrumentation concepts such as aspect-orientation.
JMSeq is tool as part of a research in the area of verification and monitoring of object-oriented software in the specific track of "verifying sequences of method calls". The research is currently active at LIACS at Leiden University and CWI as a team including Prof F. S. de Boer, Asstnt. Prof. M. M. Bonsangue, S. de Gouw, <
