@inproceedings{oai:ipsj.ixsq.nii.ac.jp:00130248,
 book = {全国大会講演論文集},
 issue = {ソフトウェア科学・工学},
 month = {Sep},
 note = {下村の提案したクリティカルスライスを用いた分割検証法では、値の誤った変数を検出しスライス基準として指定する必要がある。プログラマは他の数多くの変数から値の誤った変数を検出するのは困難なので、可視化ツールを用いて値の誤った変数の発見を支援する手法を提案する。また、分割検証法では、プログラマは提示された制御移行の流れとフローデータの正しさを検証しなければならないが、制御移行の流れの検証は場合によっては難しい。さらに、分割検証法は一回の手順で単一のバグしか検出できない。本論文では、分割検証法を行なう時、制御移行の流れを検証する支援と可能な限り、変数値エラーに対して複数のバグも検出できるように改良することについて述べる。},
 pages = {315--316},
 publisher = {情報処理学会},
 title = {クリティカルスライスを用いた分割検証法によるバグ究明支援},
 volume = {第53回},
 year = {1996}
}