GoBench: A Benchmark Suite of Real-World Go Concurrency BugsTing Yuan, Jingling Xue, Chen Liu et al.|Unknown|2021Cited by 25
Detecting TensorFlow Program Bugs in Real-World Industrial EnvironmentChen Liu, Jingling Xue, Jie Lu et al.|2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE)|2021Cited by 14
Exposing Vulnerable Paths: Enhance Static Analysis with Lightweight Symbolic ExecutionGuangwei Li, Kejun Zhang, Ting Yuan et al.|Unknown|2021Cited by 3