論文採録(FOSE2023)

M2大嶋君の論文「記号実行とミューテーションを活用したプログラム正誤判定の効率化」がフルペーパーとして,M2髙橋君の論文「スペクトル情報とソースコード行の新しさを組み合せたバグ限局手法」がショートペーパーとして,それぞれ … more