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. BWDM: Test Cases Automatic Generation Tool Based on Boundary Value Analysis with VDM++. JRNAL, 4(2):110-113, 2017. [doi]

Authors

Tetsuro Katayama

This author has not been identified. Look up 'Tetsuro Katayama' in Google

Hiroki Tachiyama

This author has not been identified. Look up 'Hiroki Tachiyama' in Google

Yoshihiro Kita

This author has not been identified. Look up 'Yoshihiro Kita' in Google

Hisaaki Yamaba

This author has not been identified. Look up 'Hisaaki Yamaba' in Google

Kentaro Aburada

This author has not been identified. Look up 'Kentaro Aburada' in Google

Naonobu Okazaki

This author has not been identified. Look up 'Naonobu Okazaki' in Google