動的アサーション追加によるダイナミックスライシングの精度向上手法

IPSJ

Search this article

Abstract

失敗したアサーションのダイナミックスライシングにより得られたスライスに対し、別の成功するアサーションのダイナミックスライシングにより得られたスライスの差集合をとることでスライスの範囲を狭め、バグの発見を支援する。

Journal

Keywords

Details

Report a problem

Back to top