Invention Grant
- Patent Title: Method for automatically generating search heuristics and performing method of concolic testing using automatically generated search heuristics
-
Application No.: US15985899Application Date: 2018-05-22
-
Publication No.: US10678680B2Publication Date: 2020-06-09
- 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: com.zzzhc.datahub.patent.etl.us.BibliographicData$PriorityClaim@48ae152b
- Main IPC: C12N15/82
- IPC: C12N15/82 ; C07K14/415 ; G06K9/20 ; G06K9/50 ; G06K9/52 ; G06F11/36
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
IPC分类:
