Application of Pairwise Testing into BWDM which is a Test Case Generation Tool for the VDM++ Specification. - Tetsuro Katayama; Futa Hirakoba; Yoshihiro Kita; Hisaaki Yamaba; Kentaro Aburada; Naonobu Okazaki (J. Robotics Netw. Artif. Life, 2019)