情報処理学会 第77回全国大会講演要旨

形式仕様を基に自動的にテストケースを生成することで、テストの時間とコストを削減するとともに、バグを自動的に発見することを目指す。