摘要: 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 to achieve high code coverage in a limited ti... 展开
作者 | Sooyoung Cha Seongjoon Hong Junhee Lee Hakjoo Oh | ||
---|---|---|---|
文集名称 | 2018 IEEE/ACM 40th International Conference on Software Engineering | ||
出版年 | 2018 | ||
会议名称 | IEEE/ACM International Conference on Software Engineering | ||
页码 | 1244-1254 | 开始页/总页数 | 00001244 / 11 |
会议地点 | Gothenburg(SE) | 会议年/会议届次 | 2018 / 40th |
关键词 | Heuristic algorithms Manuals Software engineering Software algorithms Software Software testing | ||
馆藏号 | IEL26168 (8453044) |