Zhongxing Xu

According to our database, Zhongxing Xu authored at least 10 papers between 2006 and 2024.

Collaborative distances:

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

2024

Hunting Attributes: Context Prototype-Aware Learning for Weakly Supervised Semantic Segmentation.

Feilong Tang, Zhongxing Xu, Zhaojun Qu, Wei Feng, Xingjian Jiang, Zongyuan Ge

CoRR, 2024

2023

DuAT: Dual-Aggregation Transformer Network for Medical Image Segmentation.

Feilong Tang, Zhongxing Xu, Qiming Huang, Jinfeng Wang, Xianxu Hou, Jionglong Su, Jingxin Liu

Proceedings of the Pattern Recognition and Computer Vision - 6th Chinese Conference, 2023

2015

Melton: a practical and precise memory leak detection tool for C programs.

Zhenbo Xu, Jian Zhang, Zhongxing Xu

Frontiers Comput. Sci., 2015

2014

Canalyze: a static bug-finding tool for C programs.

Zhenbo Xu, Jian Zhang, Zhongxing Xu, Jiteng Wang

Proceedings of the International Symposium on Software Testing and Analysis, 2014

2011

Static Detection of Bugs Caused by Incorrect Exception Handling in Java Programs.

Xiaoquan Wu, Zhongxing Xu, Jun Wei

Proceedings of the 11th International Conference on Quality Software, 2011

Memory Leak Detection Based on Memory State Transition Graph.

Zhenbo Xu, Jian Zhang, Zhongxing Xu

Proceedings of the 18th Asia Pacific Software Engineering Conference, 2011

2010

A Memory Model for Static Analysis of C Programs.

Zhongxing Xu, Ted Kremenek, Jian Zhang

Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010

2008

Path and Context Sensitive Inter-procedural Memory Leak Detection.

Zhongxing Xu, Jian Zhang

Proceedings of the Eighth International Conference on Quality Software, 2008

2006

A Test Data Generation Tool for Unit Testing of C Programs.

Zhongxing Xu, Jian Zhang

Proceedings of the Sixth International Conference on Quality Software (QSIC 2006), 2006

Finding Relations Among Linear Constraints.

Jun Yan, Jian Zhang, Zhongxing Xu

Proceedings of the Artificial Intelligence and Symbolic Computation, 2006