Enyi Tang

According to our database, Enyi Tang authored at least 18 papers between 2005 and 2022.

Collaborative distances:

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

2022

A Lightweight Approach of Human-Like Playtest for Android Apps.

Yan Zhao, Enyi Tang, Haipeng Cai, Xi Guo, Xiaoyin Wang, Na Meng

Proceedings of the IEEE International Conference on Software Analysis, 2022

Graph Neural Network based Two-Phase Fault Localization Approach.

Zhengmin Li, Enyi Tang, Xin Chen, Linzhang Wang, Xuandong Li

Proceedings of the Internetware 2022: 13th Asia-Pacific Symposium on Internetware, Hohhot, China, June 11, 2022

Wassertrain: An Adversarial Training Framework Against Wasserstein Adversarial Attacks.

Qingye Zhao, Xin Chen, Zhuoyu Zhao, Enyi Tang, Xuandong Li

Proceedings of the IEEE International Conference on Acoustics, 2022

Verifying Neural Network Controlled Systems Using Neural Networks.

Qingye Zhao, Xin Chen, Zhuoyu Zhao, Yifan Zhang, Enyi Tang, Xuandong Li

Proceedings of the HSCC '22: 25th ACM International Conference on Hybrid Systems: Computation and Control, Milan, Italy, May 4, 2022

2021

A Lightweight Approach of Human-Like Playtesting.

Yan Zhao, Weihao Zhang, Enyi Tang, Haipeng Cai, Xi Guo, Na Meng

CoRR, 2021

Synthesizing ReLU neural networks with two hidden layers as barrier certificates for hybrid systems.

Qingye Zhao, Xin Chen, Yifan Zhang, Meng Sha, Zhengfeng Yang, Wang Lin, Enyi Tang, Qiguang Chen, Xuandong Li

Proceedings of the HSCC '21: 24th ACM International Conference on Hybrid Systems: Computation and Control, 2021

Synthesizing Barrier Certificates of Neural Network Controlled Continuous Systems via Approximations.

Meng Sha, Xin Chen, Yuzhe Ji, Qingye Zhao, Zhengfeng Yang, Wang Lin, Enyi Tang, Qiguang Chen, Xuandong Li

Proceedings of the 58th ACM/IEEE Design Automation Conference, 2021

2020

Accelerating Accuracy Improvement for Floating Point Programs via Memory Based Pruning.

Anxiang Xiao, Enyi Tang, Xin Chen, Linzhang Wang

Proceedings of the Internetware'20: 12th Asia-Pacific Symposium on Internetware, 2020

Navigating Discrete Difference Equation Governed WMR by Virtual Linear Leader Guided HMPC.

Chao Huang, Xin Chen, Enyi Tang, Mengda He, Lei Bu, Shengchao Qin, Yifeng Zeng

Proceedings of the 2020 IEEE International Conference on Robotics and Automation, 2020

2019

Global optimization of numerical programs via prioritized stochastic algebraic transformations.

Xie Wang, Huaijin Wang, Zhendong Su, Enyi Tang, Xin Chen, Weijun Shen, Zhenyu Chen, Linzhang Wang, Xianpei Zhang, Xuandong Li

Proceedings of the 41st International Conference on Software Engineering, 2019

2018

HAT: Analyzing Linear Hybrid Automata as Labelled Transition System.

Lei Bu, Hui Jiang, Xin Chen, Enyi Tang, Xuandong Li

Proceedings of the Symposium on Real-Time and Hybrid Systems, 2018

2017

Software Numerical Instability Detection and Diagnosis by Combining Stochastic and Infinite-Precision Testing.

Enyi Tang, Xiangyu Zhang, Norbert Th. Müller, Zhenyu Chen, Xuandong Li

IEEE Trans. Software Eng., 2017

Sketch-guided GUI test generation for mobile applications.

Chucheng Zhang, Haoliang Cheng, Enyi Tang, Xin Chen, Lei Bu, Xuandong Li

Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017

A Framework for Array Invariants Synthesis in Induction-Loop Programs.

Bin Li, Juan Zhai, Zhenhao Tang, Enyi Tang, Jianhua Zhao

Proceedings of the 24th Asia-Pacific Software Engineering Conference, 2017

2014

Automatic Numerical Analysis Based on Infinite-Precision Arithmetic.

Shuai Wei, Enyi Tang, Tianyu Liu, Norbert Th. Müller, Zhenyu Chen

Proceedings of the Eighth International Conference on Software Security and Reliability, 2014

2012

Time-leverage point detection for time sensitive software maintenance.

Enyi Tang, Linzhang Wang, Jianhua Zhao, Xuandong Li

Proceedings of the 28th IEEE International Conference on Software Maintenance, 2012

2010

Perturbing numerical calculations for statistical analysis of floating-point program (in)stability.

Enyi Tang, Earl T. Barr, Xuandong Li, Zhendong Su

Proceedings of the Nineteenth International Symposium on Software Testing and Analysis, 2010

2005

An Incremental Learning Method Based on SVM for Online Sketchy Shape Recognition.

Zhengxing Sun, Lisha Zhang, Enyi Tang

Proceedings of the Advances in Natural Computation, First International Conference, 2005