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]
@article{KatayamaTKYAO17, title = {BWDM: Test Cases Automatic Generation Tool Based on Boundary Value Analysis with VDM++}, author = {Tetsuro Katayama and Hiroki Tachiyama and Yoshihiro Kita and Hisaaki Yamaba and Kentaro Aburada and Naonobu Okazaki}, year = {2017}, doi = {10.2991/jrnal.2017.4.2.1}, url = {https://doi.org/10.2991/jrnal.2017.4.2.1}, researchr = {https://researchr.org/publication/KatayamaTKYAO17}, cites = {0}, citedby = {0}, journal = {JRNAL}, volume = {4}, number = {2}, pages = {110-113}, }