项目标书摘要：Outline of Research at the Start:ファジングとは,不具合を引き起こす可能性がある入力の自動生成とプログラムの自動実行を繰り返すプロセスを指す.AFLに代表されるファジングツールは,大規模OSSから数多くの不具合を発見している.しかし,ファジングは不具合を引きおこす可能性がある入力を開発者に提示するのみであり,プログラム中のバグ位置やバグの修正方法は提示しない.本研究では,ファジングが提示する不具合を引き起こす可能性がある入力を基に,プログラム中のバグ位置を特定し,自動修正を行う技術の確立を目指す.まず,ファジングと相性の良いバグ位置特定技術を明らかにし,特定したバグを修正するために有用な修正パターンを明らかにする。
