My research interests span numerical system, program analysis, software testing, and AI infrastructure. Now I focus my research on improve software reliability and programming productivity with both the traditional and intelligent techniques.

Major Grants National Science Foundation of China (General Program), 61772260, Principal Investigator National Science Foundation of China (Youth Fund), 61402222, Principal Investigator Open Foundation of State Key Laboratory for Novel Software Technology in Nanjing University, ZZKT2016B11, Principal Investigator Open Foundation of State Key Laboratory for Novel Software Technology in Nanjing University, ZZKT2014B06, Principal Investigator Open Foundation of State Key Laboratory for Novel Software Technology in Nanjing University, ZZKT2013B09, Principal Investigator National 863 High-Tech Programme of China, 2011AA010103, Participant

Patents & Software Copyright CN201910811776.4, CN201810001948.7, CN201610408581.1, CN201510892012.4, CN201410589530.4, CN201410520726.8, 2015SR149614, 2017R11L1186367, 2017R11L1186400

Teaching For more information of my courses, please visit our Course Management System(CMS) . Data Structure Linux Programming Software Architecture Multicore Programming Practices of Software Engineering

Co-Editor: Journal of Software 2021(7) PC and Session Chair: SANER 2019, NASAC 2020 Registration Co-Chairs: APSEC 2017 .

Xie Wang, Huaijin Wang, Zhendong Su, Enyi Tang*, Xin Chen, Weijun Shen, Zhenyu Chen, Linzhang Wang, Xianpei Zhang and Xuandong Li. Global Optimization of Numerical Programs via Prioritized Stochastic Algebraic Transformations. In Proceedings of International Conference on Software Engineering (ICSE 2019), Montreal, Canada, pp 1131-1141, 2019

Enyi Tang*, Xiangyu Zhang, Norbert Th. Müller, Zhenyu Chen*, and Xuandong Li. Software Numerical Instability Detection and Diagnosis by Combining Stochastic and Infinite-precision Testing. IEEE Transactions on Software Engineering (TSE), 2017

Chucheng Zhang, Haoliang Cheng, Enyi Tang*, Xin Chen, Lei Bu, Xuandong Li. Sketch-Guided GUI Test Generation for Mobile Applications. In: Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2017), USA, 2017

Enyi Tang, Earl T. Barr, Xuandong Li, Zhendong Su. Perturbing numerical calculations for statistical analysis of floating-point program (in)stability, In: Proceedings of the 19th International Symposium on Software Testing and Analysis (ISSTA 2010), New York, USA, pp 131-142, 2010

Enyi Tang, Linzhang Wang, Jianhua Zhao, Xuandong Li. Time-leverage points detection for time sensitive software maintenance. In: Proceedings of the 28th IEEE International Conference on Software Maintenance (ICSM 2012), Riva del Garda,Italy, pp 567-570, 2012

Enyi Tang, Earl Barr, Zhendong Su, Xuandong Li. Program instability detection based on systematically optimized numerical perturbation. SCIENTIA SINICA Informationis, 2014,44(11):1445-1466

Enyi Tang, Xuandong Li. Time-Leverage Points Detection for Software Maintenance. Chinese Journal of Computers, 2013,36(12):2455-2467

Enyi Tang, Yan Zhou, Jiansheng Ou, Xin Chen. Test generation approach guided by linear fitting for condition/decision coverage criteria, Journal of Software, 2016,27(3):593-610

Zuwei Zhao, Shining Feng, Enyi Tang*, Xin Chen, Xuandong Li, Minxue Pan, Chen Zhao. A Symbolic Execution Guided Inner Loop Bound Analysis, Acta Electronica Sinica, 2017