情報処理学会 第76回全国大会講演要旨
5L-6
動的アサーション追加によるダイナミックスライシングの精度向上手法
○杉本元気（早大），坂本一憲（NII）
失敗したアサーションのダイナミックスライシングにより得られた
スライスに対し、別の成功するアサーションのダイナミックスライ
シングにより得られたスライスの差集合をとることでスライスの範
囲を狭め、バグの発見を支援する。
