JML-Testing-Tools: A Symbolic Animator for JML Specifications Using CLP.

Fabrice Bouquet, Frdric Dadeau, Bruno Legeard, Mark Utting

Browse the full TACAS paper archive.