Muhan Zeng

According to our database, Muhan Zeng authored at least 3 papers between 2017 and 2020.

Collaborative distances:

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

2020

Detecting floating-point errors via atomic conditions.

Daming Zou, Muhan Zeng, Yingfei Xiong, Zhoulai Fu, Lu Zhang, Zhendong Su

Proc. ACM Program. Lang., 2020

2018

Identifying patch correctness in test-based program repair.

Yingfei Xiong, Xinyuan Liu, Muhan Zeng, Lu Zhang, Gang Huang

Proceedings of the 40th International Conference on Software Engineering, 2018

2017

Identifying Patch Correctness in Test-Based Automatic Program Repair.

Xinyuan Liu, Muhan Zeng, Yingfei Xiong, Lu Zhang, Gang Huang

CoRR, 2017