Zeng, Zhengran, Tan, Hanzhuo, Zhang, Haotian · Proceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and Analysis · 2022