@article{oai:miyazaki-u.repo.nii.ac.jp:00005242,
 author = {立山, 博基 and Katayama, Tetsuro and 片山, 徹郎 and Tachiyama, Hiroki},
 journal = {宮崎大学工学部紀要, Memoirs of Faculty of Engineering, University of Miyazaki},
 month = {Jul},
 note = {For software development using Formal Methods, we have developed a prototype of the boundary value test case automatic generation tool BWDM. The main two topics of our tool are (1) automatically generation of test cases and (2) boundary value analysis. Our tool improves the efficiency of software testing process in using VDM++ that is one of the Formal Methods. In this research, we show the structure of our tool, implemented functions, application example, evaluation of the usefulness, relative research, and future issues.},
 pages = {269--273},
 title = {テストケース自動生成ツールBWDM の現状と課題},
 volume = {46},
 year = {2017},
 yomi = {タチヤマ, ヒロキ and カタヤマ, テツロウ}
}