Invention Grant
- Patent Title: Method for automatically generating search heuristics and performing method of concolic testing using automatically generated search heuristics
-
Application No.: US16860382Application Date: 2020-04-28
-
Publication No.: US10853230B2Publication Date: 2020-12-01
- Inventor: Sooyoung Cha , Seongjoon Hong , Junhee Lee , Hakjoo Oh
- Applicant: Korea University Research and Business Foundation
- Applicant Address: KR Seoul
- Assignee: Korea University Research and Business Foundation
- Current Assignee: Korea University Research and Business Foundation
- Current Assignee Address: KR Seoul
- Agency: NSIP Law
- Priority: KR10-2018-0019937 20180220
- Main IPC: G06F11/36
- IPC: G06F11/36 ; G06F17/50 ; G06F9/44 ; G06F9/50
Abstract:
Provided is a method for automatically generating a search heuristic that is optimal for a test subject program and a method of concolic testing that uses a parameterized search heuristic to yield a consistent test performance for any program.
Public/Granted literature
Information query
