jmle: A Tool for Executing JML Specifications Via Constraint Programming.

Ben Krause, Tim Wahls

Browse the full FMICS paper archive.