Tian ZHANG


	Tian ZHANG
	Professor, Ph.D.
	Department of Computer Science & Technology State Key Laboratory for Novel Software Technology Nanjing University , China

[Introduction] [Teaching] [ Interest ] [Publication] [Seminar] [SEG] [Correspondence]

I am a professor in the Department of Computer Science & Technology at Nanjing University, China. At the same time, I am also a research member of the Software Engineering Group (SEG) led by Prof. Xuandong Li , my Ph.D. supervisor. I received the B.Sc. (CUMT), M.Eng. (NJU) and Ph.D. (NJU) degrees in Computer Science in 2001, 2004 and 2009, respectively. From Sep 2007 to Sep 2008, I worked in the INRIA AtlanMod team led by Prof. Jean Bézivin, my co-supervisor in France. Currently, I am working at SnT of Luxembourg University as a visiting scholar in the SVV Lab led by Prof. Lionel Briand. The visiting period is from March to September, 2013.

Teaching

Concepts of Computer Programming Languages, 2014 to 2023 (for undergraduates)
Software Engineering, with Prof. Xuandong Li, Prof. Linzhang Wang, 2010 to 2023 (for undergraduates)
Comprehensive Experiment of Software Engineering, with Prof. Chun Cao, Prof. Linzhang Wang, 2015 to 2023 (for undergraduates)
Software Construction, Spring 2009 (for undergraduates).
Software Methodology — Model Driven Software Development, 2009 to 2023 (for postgraduates).

Research Interest

My overall research interests relate to model driven aspects of software engineering, with the aim of facilitating the rapid and reliable development and maintenance of both large and small software systems. My recent work is focusing on MDE based embedded systems, including patterns driven MDE development, bridging heterogeneous models, formal support for design and analysis.

Recent Selected Publications

Selected papers and technique reports are list below:

1. Journal Papers

[TSE 2022] Liushan Chen, Yu Pei, Minxue Pan, Tian Zhang, Qixin Wang, and Carlo A. Furia. Program Repair with Repeated Learning. IEEE Transactions on Software Engineering, forthcoming.
[TOSEM 2022] Minxue Pan, Yifei Lu, Yu Pei, Tian Zhang, and Xuandong Li. Preference-Wise Testing of Android Apps via Test Amplification. ACM Transactions on Software Engineering and Methodology. Just Accepted (Online).
[SoSyM 2022] Longlong Lu, Minxue Pan, Tian Zhang, and Xuandong Li. Improving timing analysis effectiveness for scenario-based specifications by combining SAT and LP techniques. Software and Systems Modeling, 2022. [link]
[TSE 2020] Minxue Pan, Tongtong Xu, Yu Pei, Zhong Li, Tian Zhang, and Xuandong Li. GUI-Guided Test Script Repair for Mobile Apps. IEEE Transactions on Software Engineering, vol. 48, no. 3, pp. 910-929. [link]
[TSE 2020] Tongtong Xu, Liushan Chen, Yu Pei, Tian Zhang, Minxue Pan, and Carlo A. Furia. RESTORE: Retrospective Fault Localization Enhancing Automated Program Repair. IEEE Transactions on Software Engineering, vol. 48, no. 1, pp. 309-326. [link]
[JSS 2020] Zhengzhao Chen, Renhe Jiang, Zejun Zhang, Yu Pei, Minxue Pan, Tian Zhang and Xuandong Li. Enhancing Example-Based Code Search with Functional Semantics. Journal of Systems and Software, Volume 165, 2020, Article 110568. [link]
[JSS 2020] Minxue Pan, Yifei Lu, Yu Pei, Tian Zhang, Juan Zhai, and Xuandong Li. Effective Testing of Android Apps Using Extended IFML Models. Journal of Systems and Software, Volume 159, 2020, Article 110433. [link]
[SoSyM 2019] Xiao He, Tian Zhang, Minxue Pan, Zhiyi Ma, and Chang-Jun Hu. Template-based model generation. Software & Systems Modeling (2019), Volume 18, Issue 3, pp. 2051–2092. [link]

2. Conference Papers

[ASE 2022] Zhong Li, Minxue Pan, Yu Pei, Tian Zhang, Linzhang Wang, Xuandong Li. Robust Learning of Deep Predictive Models from Noisy and Imbalanced Software Engineering Datasets. In Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 2022. Accepted.
[ISSTA 2021] Tongtong Xu, Minxue Pan, Yu Pei, Guiyin Li, Xia Zeng, Tian Zhang, Yuetang Deng, and Xuandong Li. GUIDER: GUI Structure and Vision Co-Guided Test Script Repair for Android Apps. In Proceedings of the 30th ACM SIGSOFT International Symposium on Software Testing and Analysis, pp. 191-203. July 11–17, 2021, Virtual, Denmark. [link]
[ICML 2021] Zhong Li, Minxue Pan, Tian Zhang, and Xuandong Li. Testing DNN-based Autonomous Driving Systems under Critical Environmental Conditions. In Proceedings of the 38th International Conference on Machine Learning, PMLR 139: 6471-6482, 2021. [link]
[STVR 2021] Renhe Jiang, Zhengzhao Chen, Yu Pei, Minxue Pan, Tian Zhang, and Xuandong Li. Documentation-based Functional Constraint Generation for Library Methods. Software: Testing, Verification and Reliability. 2021;e1785. [link]
[ISSTA 2020 (Distinguished Paper Award)] Minxue Pan, An Huang, Guoxin Wang, Tian Zhang, and Xuandong Li. Reinforcement Learning Based Curiosity-driven Testing of Android Applications. In Proceedings of the 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, pp. 153-164. July 18–22, 2020, Virtual Event, USA. [link]
[ICPC 2020] Zejun Zhang, Minxue Pan, Tian Zhang, Xinyu Zhou, and Xuandong Li. Deep-Diving into Documentation to Develop Improved Java-to-Swift API Mapping. In Proceedings of the 28th IEEE/ACM International Conference on Program Comprehension, pp. 106-116. July 13-15, 2020, Virtual Event, Republic of Korea. [link]
[ESEC/FSE 2019] Yifei Lu, Minxue Pan, Juan Zhai, Tian Zhang, and Xuandong Li. Preference-Wise Testing for Android Applications. In Proceedings of the 27th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, pp. 268-278. August 26–30, 2019, Tallinn, Estonia. [link]
[ICSE 2019] Minxue Pan, Shouyu Chen, Yu Pei, Tian Zhang, and Xuandong Li. Easy modelling and verification of unpredictable and preemptive interrupt-driven systems. In Proceedings of the 41st International Conference on Software Engineering, pp. 212-222. May 25-31, 2019, Montréal, QC, Canada. [link]
[SCAM 2018] Renhe Jiang, Zhengzhao Chen, Zejun Zhang, Yu Pei, Minxue Pan and Tian Zhang. Semantics-Based Code Search Using Input/Output Examples. In Proceedings of the 18th IEEE International Working Conference on Source Code Analysis and Manipulation, pp. 92-102. September 23-24, 2018, Madrid, Spain. [link]
[ICST 2018] Ruihua Ji, Zhong Li, Shouyu Chen, Minxue Pan, Tian Zhang, Shaukat Ali, Tao Yue and Xuandong Li. Uncovering Unknown System Behaviors in Uncertain Networks with Model and Search-Based Testing. In Proceedings of the IEEE 11th International Conference on Software Testing, Verification and Validation, pp. 204–214. April 9-13, 2018, Västerås, Sweden. [link]

2. Others

Jianhuan Zhao, Tian Zhang et al. (2006)
Translate the book "Model Driven Architecture with Executable UML" into Chinese, China Machine Press, 2006
Tian Zhang (2006)
Technique Report: Model driven architecture: Principles and practice. SEG seminar. (pdf)
Tian Zhang (2005)
Technique Report: Brief Introduction to UML 2.0 (pat I) (part II) (part III), SEG seminar, October 2005.

Seminar

We usually have seminar at Room 504, MengMinwei Building II every Wednesday. The topic of seminar is mainly round software engineering, model checking, formal methods, model driven development, software testing, etc. Our seminar is open to all faculties and students in our department.

Software Engineering Group

Software Engineering Group is founded by Prof. Guoliang Zheng and Prof. Xuandong Li in 90's last century. Many outstanding scholars and researchers in computer science and technology have collaborated or been trained by SEG. Now SEG has many projects with financial support by National Science Fund for Distinguished Young Scholars of China, National Nature Science Foundation of China, National Grand Fundamental Research 973 Program of China.

Correspondence

Mail:	Tian Zhang	Office:	Rm 716 , Computer Science Building, Nanjing University Xianlin Campus
	Software Engineering Group	Tel:	+86 25 89686697
	Nanjing University	Fax:	+86 25 89686697
	163 Xianlin Road, Qixia District	URL:	http:// http://cs.nju.edu.cn/zhangtian/
	Nanjing 210093, China	Email:	ztluck#nju.edu.cn or ztluck#gmail.com