Enyi Tang



Associate Professor




电话：(+86)


邮箱：


地址：Software Institute of Nanjing University, Nanjing, Jiangsu, China


办公地址：Room 913, Feiyiming Building


邮编：210093





ResearchMy 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 GrantsNational Science Foundation of China (General Program), **, Principal Investigator

National Science Foundation of China (Youth Fund), **, 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

Selected PublicationsXie 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

Patents & Software CopyrightCN6.4, CN8.7, CN1.1, CN2.4, CN0.4, CN6.8, 2015SR149614, 2017R11L**, 2017R11L**


Professional ActivitiesCo-Editor: Journal of Software 2021(7)

PC and Session Chair: SANER 2019, NASAC 2020
Registration Co-Chairs: APSEC 2017 .

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