Xue-er Ding

According to our database, Xue-er Ding authored at least 1 paper in 2021.

Collaborative distances:

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

2021

API Usage Pattern Search Based on Model Checking.

Xue-er Ding, Jun Niu, Jia Wang

Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2021