@inproceedings{oai:ipsj.ixsq.nii.ac.jp:00083629,
 author = {高木, 智彦 and 八重樫, 理人 and 古川, 善吾 and Tomohiko, Takagi and Rihito, Yaegashi and Zengo, Furukawa},
 book = {ソフトウェアエンジニアリングシンポジウム2012論文集},
 month = {Aug},
 note = {拡張有限状態機械に基づく運用プロファイルから，usage distribution coverage と N スイッチ網羅率ができるだけ大きいテストケースを生成するためのソフトウェアテストのフレームワークを提案する．, This paper shows a software testing framework in which an operational profile that is based on an EFSM (extended finite state machine) automatically produces test cases to achieve high usage distribution coverage and N-switch coverage.},
 pages = {1--6},
 publisher = {情報処理学会},
 title = {拡張有限状態機械を用いた運用プロファイルベースドテスト法のフレームワーク},
 volume = {2012},
 year = {2012}
}