Programs Characterization In Table 1 we present the characterization of the programs that we use in the first study (evaluation of our RGT-based approach). The programs are characterized in terms of size (LOC - lines of code and LJML - lines of JML specification): Table 1. Programs Characterization for the first study In Table 2 we present the characterization of programs that we use in the second study (the comparison of two RGT-based approaches: JMLOK and JET). Table 2. Programs Characterization for the second study Open-source JML programs |
Tiago Massoni > JmlOk2 > Enhancing Conformance Checking for Contract-Based Programs > Setup >