Automated Boundary Test Generation from JML Specifications.

Fabrice Bouquet, Frdric Dadeau, Bruno Legeard

Browse the full FM paper archive.