Chang Xu
Scholar

Chang Xu

Google Scholar ID: jlZOlxIAAAAJ
Professor of Computer Science and Technology, Nanjing University
Big data software engineeringintelligent software testing and analysisadaptive and autonomous software systems
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
Xiaoxing Ma
Professor of Computer Science and Technology, Nanjing University
Shing-Chi Cheung
Shing-Chi Cheung
Chair Professor of Computer Science and Engineering, HKUST
Co-author 3
Co-author 3
Chun Cao
Chun Cao
Nanjing University
Yepang Liu
Yepang Liu
Associate Professor, CSE, Southern University of Science and Technology
Co-author 6
Co-author 6
Co-author 7
Co-author 7
Wing-Kwong (Ricky) Chan
Wing-Kwong (Ricky) Chan
Department of Computer Science, City University of Hong Kong