Meng Fan, Wenzhi Wang, Aimin Yu, Dan Meng. TDCT: Target-Driven Concolic Testing Using Extended Units by Calculating Function Relevance. In Yongxuan Lai, Tian Wang 0001, Min Jiang 0005, Guangquan Xu, Wei Liang 0005, Aniello Castiglione, editors, Algorithms and Architectures for Parallel Processing - 21st International Conference, ICA3PP 2021, Virtual Event, December 3-5, 2021, Proceedings, Part III. Volume 13157 of Lecture Notes in Computer Science, pages 196-213, Springer, 2021. [doi]
Abstract is missing.