Scholar
Chang Xu
Google Scholar ID: jlZOlxIAAAAJ
Professor of Computer Science and Technology, Nanjing University
Big data software engineering
intelligent software testing and analysis
adaptive and autonomous software systems
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
3,958
H-index
32
i10-index
85
Publications
20
Co-authors
34
list available
Contact
No contact links provided.
Publications
3 items
Can Large Language Models Model Programs Formally?
2026
Cited
0
ModelWisdom: An Integrated Toolkit for TLA+ Model Visualization, Digest and Repair
2026
Cited
0
Qihe: A General-Purpose Static Analysis Framework for Verilog
2026
Cited
0
Resume (English only)
Co-authors
34 total
Xiaoxing Ma
Professor of Computer Science and Technology, Nanjing University
Shing-Chi Cheung
Chair Professor of Computer Science and Engineering, HKUST
Co-author 3
Chun Cao
Nanjing University
Yepang Liu
Associate Professor, CSE, Southern University of Science and Technology
Co-author 6
Co-author 7
Wing-Kwong (Ricky) Chan
Department of Computer Science, City University of Hong Kong
×
Welcome back
Sign in to Agora
Welcome back! Please sign in to continue.
Email address
Password
Forgot password?
Continue
Do not have an account?
Sign up