Chenao Wu

According to our database, Chenao Wu authored at least 1 paper in 2023.

Collaborative distances:

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

2023

Model Checking Guided Testing for Distributed Systems.

Dong Wang, Wensheng Dou, Yu Gao, Chenao Wu, Jun Wei, Tao Huang

Proceedings of the Eighteenth European Conference on Computer Systems, 2023