プログラム異常動作の自動検出技術の創出プロジェクト