Unified and Split Symbolic Execution for Exposing Semantic Differences.
Saved in:
| Title: | Unified and Split Symbolic Execution for Exposing Semantic Differences. |
|---|---|
| Authors: | Liang, Hongliang1, hliang@bupt.edu.cn, Yin, Luming1, lumingying@bupt.edu.cn, Hu, Wenying1, wendia@bupt.edu.cn, Li, Yuxiang1, liyuxiang@bupt.edu.cn, Shen, Wuwei2, wuwei.shen@wmich.edu |
| Source: | ACM Transactions on Software Engineering & Methodology; Jul2025, Vol. 34 Issue 6, p1-27, 27p |
| Database: | Applied Science & Technology Source |
| ISSN: | 1049331X |
|---|---|
| DOI: | 10.1145/3705299 |
