Shuohao Chen

According to our database, Shuohao Chen authored at least 1 paper in 2016.

Collaborative distances:

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

2016

Automated Requirements Validation for ATP Software via Specification Review and Testing.

Weikai Miao, Geguang Pu, Yinbo Yao, Ting Su, Danzhu Bao, Yang Liu, Shuohao Chen, Kunpeng Xiong

Proceedings of the Formal Methods and Software Engineering, 2016