Danning Xie

According to our database, Danning Xie authored at least 5 papers between 2021 and 2024.

Collaborative distances:

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

2024

Consolidating Smart Contracts with Behavioral Contracts.

Guannan Wei, Danning Xie, Wuqi Zhang, Yongwei Yuan, Zhuo Zhang

Proc. ACM Program. Lang., 2024

CEDAR: Continuous Testing of Deep Learning Libraries.

Danning Xie, Jiannan Wang, Hung Viet Pham, Lin Tan, Yu Guo, Adnan Aziz, Erik Meijer

Proceedings of the IEEE International Conference on Software Analysis, 2024

2023

Impact of Large Language Models on Generating Software Specifications.

Danning Xie, Byungwoo Yoo, Nan Jiang, Mijung Kim, Lin Tan, Xiangyu Zhang, Judy S. Lee

CoRR, 2023

2022

DocTer: documentation-guided fuzzing for testing deep learning API functions.

Danning Xie, Yitong Li, Mijung Kim, Hung Viet Pham, Lin Tan, Xiangyu Zhang, Michael W. Godfrey

Proceedings of the ISSTA '22: 31st ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, South Korea, July 18, 2022

2021

Leveraging Documentation to Test Deep Learning Library Functions.

Danning Xie, Yitong Li, Mijung Kim, Hung Viet Pham, Lin Tan, Xiangyu Zhang, Michael W. Godfrey

CoRR, 2021