-
公开(公告)号：US10853230B2
公开(公告)日：2020-12-01
申请号：US16860382
申请日：2020-04-28
Inventor： Sooyoung Cha , Seongjoon Hong , Junhee Lee , Hakjoo Oh
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.
-
公开(公告)号：US12086055B2
公开(公告)日：2024-09-10
申请号：US17496012
申请日：2021-10-07
Inventor： Hakjoo Oh , Sooyoung Cha
CPC classification number: G06F11/3688 , G06F11/3676 , G06F17/16 , G06F11/3447 , G06F11/3452
Abstract: A symbolic execution device, a symbolic execution method, and a probability distribution update method for symbolic execution are provided. The symbolic execution device includes a storage unit for storing at least one of a first probability distribution and a second probability distribution and a processor for sampling and obtaining a weight vector from the first probability distribution, for sampling and obtaining a removal rate from the second probability distribution, for adding the weight vector to at least one feature vector obtained from at least one candidate state to obtain a score for each of the at least one candidate state, and for selecting a state to be removed from among the at least one candidate state by using the score of each of the at least one candidate state and the removal rate.
-
公开(公告)号：US10678680B2
公开(公告)日：2020-06-09
申请号：US15985899
申请日：2018-05-22
Inventor： Sooyoung Cha , Seongjoon Hong , Junhee Lee , Hakjoo Oh
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.
-
-
Search Results
3
records
(took 0.014 seconds)
