BWDM: Test Cases Automatic Generation Tool Based on Boundary Value Analysis with VDM++. - Tetsuro Katayama; Hiroki Tachiyama; Yoshihiro Kita; Hisaaki Yamaba; Kentaro Aburada; Naonobu Okazaki (J. Robotics Netw. Artif. Life, 2017)