@article{oai:ipsj.ixsq.nii.ac.jp:00015873,
 author = {渡辺, 坦 and Tan, Watanabe},
 issue = {6},
 journal = {情報処理学会論文誌},
 month = {Nov},
 note = {プログラム仕様に基づくテストデータ自動生成は ソフトウエアの信頼性と生産性の向上のために強く望まれている.本論文では プログラム仕様を連接と場合分け 反復で構成される正則状態遷移図として書き 入出力を列挙型データとし 内部的制約条件を ある遷移に伴う内部出力が他の遷移を起動する内部入力となるという形で書くならば その遷移を網羅的にテストする入力系列の集合の自動生成がかなりの成功をおさめることを示す.自動生成の過程では 入口から出口に至る実行可能経路の探索のために 何段階かの副次目標を設定する.自動生成時間は 遷移数が数十個の場合 大型計算機で数秒から数十秒である.},
 pages = {960--969},
 title = {正則な状態遷移図の全遷移を網羅するテストデータ生成アルゴリズム},
 volume = {25},
 year = {1984}
}