Shadow Symbolic Execution with Java PathFinder. - Yannic Noller; Hoang Lam Nguyen; Minxing Tang; Timo Kehrer (ACM SIGSOFT Softw. Eng. Notes, 2017)

Edge-Assisted Stream Scheduling Scheme for the Green-Communication-Based IoT. - Licheng Wang; Yan Meng 001; Haojin Zhu; Minxing Tang; Kaoru Ota (IEEE Internet Things J., 2019)

Complete Shadow Symbolic Execution with Java PathFinder. - Yannic Noller; Hoang Lam Nguyen; Minxing Tang; Timo Kehrer; Lars Grunske (ACM SIGSOFT Softw. Eng. Notes, 2019)

The Java Pathfinder Workshop 2019. - Cyrille Artho; Quoc-Sang Phan; Peter Aldous; Alyas Almaawi; Lucas Bang; Lasse Berglund; Tevfik Bultan; Zhenbang Chen; Hayes Converse; Wei Dong 006; William Eiers; Milos Gligoric 001; et al. (ACM SIGSOFT Softw. Eng. Notes, 2020)

Towards a Benchmark Set for Program Repair Based on Partial Fixes. - Dirk Beyer 001; Lars Grunske; Thomas Lemberger 002; Minxing Tang (CoRR, 2021)

Benchmark Set for Program Repair Based on Partial Fixes. - Dirk Beyer 001; Lars Grunske; Thomas Lemberger 002; Minxing Tang (Zenodo, 2021)