Minxing Tang

According to our database, Minxing Tang authored at least 6 papers between 2017 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

Benchmark Set for Program Repair Based on Partial Fixes.

Dirk Beyer, Lars Grunske, Thomas Lemberger, Minxing Tang

Dataset, July, 2021

Towards a Benchmark Set for Program Repair Based on Partial Fixes.

Dirk Beyer, Lars Grunske, Thomas Lemberger, Minxing Tang

CoRR, 2021

2020

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, William Eiers, Milos Gligoric, Simon Goldsmith, Lars Grunske, Joshua Hooker, Ismet Burak Kadron, Timo Kehrer, Sarfraz Khurshid, Xuan-Bach Dinh Le, David Lo, Eric Mercer, Sasa Misailovic, Egor Namakonov, Hoang Lam Nguyen, Yannic Noller, Benjamin Ogles, Rohan Padhye, Pavel Parízek, Corina S. Pasareanu, Sheridan Jacob Powell, Seemanta Saha, Koushik Sen, Elena Sherman, Kyle Storey, Minxing Tang, Willem Visser, Ji Wang, Hengbiao Yu

ACM SIGSOFT Softw. Eng. Notes, 2020

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

Edge-Assisted Stream Scheduling Scheme for the Green-Communication-Based IoT.

Licheng Wang, Yan Meng, Haojin Zhu, Minxing Tang, Kaoru Ota

IEEE Internet Things J., 2019

2017

Shadow Symbolic Execution with Java PathFinder.

Yannic Noller, Hoang Lam Nguyen, Minxing Tang, Timo Kehrer

ACM SIGSOFT Softw. Eng. Notes, 2017