적어도 하나의 프로세서에 의하여, 대상 프로그램의 과거 실행 데이터에 기초하여 계층적 트리구조인 패치 공간이 생성되는 패치 공간 생성단계;상기 적어도 하나의 프로세서에 의하여, 상기 패치 공간에서 하나 이상의 패치가 탐색되고, 상기 하나 이상의 패치의 검증을 위한 우선순위가 부여되는 패치 탐색단계; 및상기 적어도 하나의 프로세서에 의하여, 우선순위가 부여된 패치가 검증되고, 검증된 해당 패치와 상기 패치 공간이 업데이트되는 업데이트단계;를 포함하는 퍼징 관점에서의 자동 프로그램 수정 방법.

제1항에 있어서,상기 패치 공간 생성단계는,탐색 시작점인 루트 노드를 기점으로 하위에 하나 이상의 파일 노드, 하나 이상의 메서드 노드 및 하나 이상의 위치 노드가 계층적으로 위치되는 최초트리가 생성되는 최초트리 생성단계;를 포함하는 것을 특징으로 하는 관점에서의 자동 프로그램 수정 방법.

제2항에 있어서,상기 패치 탐색단계는,상기 최초트리에서 하나의 위치 노드를 기점으로 하위에 위치하는 모든 패치가 그룹화된 하나 이상의 하위목록이 탐색되고, 하나 이상의 하위목록에 대한 우선순위가 결정되는 수직 탐색단계; 및임의의 확률()에 대한 탐욕 알고리즘(Greedy Algorithm)이 이용되어 상기 하위목록의 패치 간 우선순위가 각각 결정되는 수평 탐색단계;를 포함하는 것을 특징으로 하는 퍼징 관점에서의 자동 프로그램 수정 방법.

제1항에 있어서,상기 패치 공간 생성단계는,상기 패치 공간이 확률적으로 탐색될 수 있도록 상기 패치 공간 내 다수 개의 엣지에 2-매개변수(αk,βk) 베타(Beta) 분포가 기 설정된 설정값으로 라벨링(Labeling) 되는 엣지 라벨링단계;를 더 포함하는 것을 특징으로 하는 퍼징 관점에서의 자동 프로그램 수정 방법.

제1항에 있어서,상기 업데이트단계는,과거 실행 데이터에 기초하여 상기 대상 프로그램이 과거에 실패한 테스트를 우선순위가 부여된 패치를 통해서 통과하면 해당 패치가 검증된 것으로 판단하는 것을 특징으로 하는 퍼징 관점에서의 자동 프로그램 수정 방법.

제4항에 있어서,상기 업데이트단계는,검증된 해당 패치와 연결된 엣지의 2-매개변수(αk,βk) 베타(Beta) 분포에서 선택될 가능성에 대한 매개변수(αk)가 업데이트 되는 것을 특징으로 하는 퍼징 관점에서의 자동 프로그램 수정 방법.

제1항 내지 제6항 중 어느 한 항의 퍼징 관점에서의 자동 프로그램 수정 방법을 수행하는 프로그램이 기록된 컴퓨터 판독이 가능한 기록매체.