@inproceedings{weko_198952_1, author = "平木場,風太 and 片山,徹郎", title = "VDM++仕様を対象としたテストケース自動生成ツールBWDMへのドメイン分析テストの適用", booktitle = "ソフトウェアエンジニアリングシンポジウム2019論文集", year = "2019", volume = "2019", number = "", pages = "126--134", month = "aug" }