BOUQUET, F., DADEAU, F., & LEGEARD, B. (2006, January 1). Automated boundary test generation from JML specifications. Presented at the. Berlin: Springer, 2006. Retrieved from http://pascal-francis.inist.fr/vibad ndex.php?action=search&terms=19152245
ISO-690 (author-date, English)BOUQUET, Fabrice, DADEAU, Frédéric and LEGEARD, Bruno, 2006. Automated boundary test generation from JML specifications. In: [online]. Berlin: Springer, 2006. 1 January 2006. Available from: http://pascal-francis.inist.fr/vibad ndex.php?action=search&terms=19152245
Modern Language Association 9th editionBOUQUET, F., F. DADEAU, and B. LEGEARD. Automated boundary test generation from JML specifications. Berlin: Springer, 2006., 2006, http://pascal-francis.inist.fr/vibad ndex.php?action=search&terms=19152245.
Mohr Siebeck - Recht (Deutsch - Österreich)Emerald - Harvard
BOUQUET, F., DADEAU, F. and LEGEARD, B. (2006), “Automated boundary test generation from JML specifications”, in , Vol. , Berlin: Springer, 2006., available at: http://pascal-francis.inist.fr/vibad ndex.php?action=search&terms=19152245.