Ying Zhang 0040, Pengfei Ji, Pan-Wei Zhu, Zebo Peng, Hua-wei Li, Jian-Hui Jiang. Parallel Software-Based Self-Testing with Bounded Model Checking for Kilo-Core Networks-on-Chip. J. Comput. Sci. Technol., 38(2):405-421, April 2023. [doi]
Abstract is missing.