@inproceedings{weko_134220_1, author = "山中,弘 and 中島,毅 and 別所,雄三 and 萩原,正敏 and 広田,和洋", title = "マイコン組み込みS/Wの開発を支援するCASEツール : testCASE(2) : 状態遷移表とテスト手順生成", booktitle = "全国大会講演論文集", year = "1998", volume = "第57回", number = "ソフトウェア科学・工学", pages = "248--249", month = "oct" }