JASSDA TRACE ASSERTIONS ∗ Runtime Checking the Dynamic of Java Programs


Research into runtime checking of programs mainly concentrates on the Design by Contract concept, as proposed by Meyer for the programming language Eiffel. The goal is here to check whether a program fulfills certain conditions in certain states, i.e method entry and exit points. Jass (Java with assertions)[1] tries to extend this to behavioural properties… (More)

2 Figures and Tables


  • Presentations referencing similar topics