Abstract: The UML is a standard visual modeling language that is specified to specify, visualize, construct and document the artifacts of software systems. In this paper, we introduce a UML behavior diagram driven tool for runtime verification of Java programs. It

Key words: Runtime verification, UML behavior diagrams, Instrumentation, Random testing, Java