汤恩义 - 南京大学

个人简介

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

近期论文

查看导师最新文章（温馨提示：请注意重名现象，建议点开原文通过作者单位确认）

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

学术兼职

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