Automatically generating search heuristics for concolic testing

S Cha, S Hong, J Lee, H Oh - … of the 40th International Conference on …, 2018 - dl.acm.org
We present a technique to automatically generate search heuristics for concolic testing. A
key challenge in concolic testing is how to effectively explore the program's execution paths …
被引用次数：38 相关文章

Automatically generating search heuristics for concolic testing

S Cha, S Hong, J Lee, H Oh - 40th International Conference on …, 2018 - pure.korea.ac.kr
We present a technique to automatically generate search heuristics for concolic testing. A
key challenge in concolic testing is how to effectively explore the program's execution paths …
[PDF] korea.ac.kr

[PDF][PDF] Automatically Generating Search Heuristics for Concolic Testing

S Cha, S Hong, J Lee, H Oh - 2018 - prl.korea.ac.kr
We present a technique to automatically generate search heuristics for concolic testing. A
key challenge in concolic testing is how to effectively explore the program's execution paths …

Automatically Generating Search Heuristics for Concolic Testing

S Cha, S Hong, J Lee, H Oh - 2018 IEEE/ACM 40th International …, 2018 - computer.org
We present a technique to automatically generate search heuristics for concolic testing. A
key challenge in concolic testing is how to effectively explore the program's execution paths …

Automatically Generating Search Heuristics for Concolic Testing

S Cha, S Hong, J Lee, H Oh - 2018 IEEE/ACM 40th …, 2018 - ieeexplore.ieee.org
We present a technique to automatically generate search heuristics for concolic testing. A
key challenge in concolic testing is how to effectively explore the program's execution paths …