TDCT: Target-Driven Concolic Testing Using Extended Units by Calculating Function Relevance

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]

Authors

Meng Fan

This author has not been identified. Look up 'Meng Fan' in Google

Wenzhi Wang

This author has not been identified. Look up 'Wenzhi Wang' in Google

Aimin Yu

This author has not been identified. Look up 'Aimin Yu' in Google

Dan Meng

This author has not been identified. Look up 'Dan Meng' in Google