Xiaohui Zhang, Yuanjun Gong, Bin Liang, Jianjun Huang 0001, Wei You, Wenchang Shi, Jian Zhang. Hunting bugs with accelerated optimal graph vertex matching. In Sukyoung Ryu, Yannis Smaragdakis, editors, ISSTA '22: 31st ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, South Korea, July 18 - 22, 2022. pages 64-76, ACM, 2022. [doi]
Abstract is missing.