@inproceedings{weko_83629_1, author = "高木,智彦 and 八重樫,理人 and 古川,善吾", title = "拡張有限状態機械を用いた運用プロファイルベースドテスト法のフレームワーク", booktitle = "ソフトウェアエンジニアリングシンポジウム2012論文集", year = "2012", volume = "2012", number = "", pages = "1--6", month = "aug" }