@inproceedings{oai:ipsj.ixsq.nii.ac.jp:00129845,
 book = {全国大会講演論文集},
 issue = {ソフトウェア工学},
 month = {Mar},
 note = {あるキーシーケンス駆動型の組み込みソフトウェアのテスト自動化を目指して、テスト用キーシーケンスを、代数記述された仕様から自動生成するプログラムを作成した。このプログラムは、テスト対象ソフトウェアに対して、機能別テストのためのテストキーシーケンスを生成することが出来る。},
 pages = {125--126},
 publisher = {情報処理学会},
 title = {あるキーシーケンス駆動型ソフトウェアに対するテストキーシーケンスの自動生成},
 volume = {第52回},
 year = {1996}
}