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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.