Fabrice Bouquet Frédéric Dadeau Bruno Legeard Automated Boundary Test Generation from JML Specifications. 428-443 2006 conf/fm/2006 FM http://dx.doi.org/10.1007/11813040_29 db/conf/fm/fm2006.html#BouquetDL06