Enyi Tang

Publication Activity (10 Years)

Years Active: 2005-2022
Publications (10 Years): 13

Top Topics

Top Venues

Publications

Zhengmin Li, Enyi Tang, Xin Chen, Linzhang Wang, Xuandong Li
Graph Neural Network based Two-Phase Fault Localization Approach. Internetware (2022)
Yan Zhao, Enyi Tang, Haipeng Cai, Xi Guo, Xiaoyin Wang, Na Meng
A Lightweight Approach of Human-Like Playtest for Android Apps. SANER (2022)
Qingye Zhao, Xin Chen, Zhuoyu Zhao, Enyi Tang, Xuandong Li
Wassertrain: An Adversarial Training Framework Against Wasserstein Adversarial Attacks. ICASSP (2022)
Qingye Zhao, Xin Chen, Zhuoyu Zhao, Yifan Zhang, Enyi Tang, Xuandong Li
Verifying Neural Network Controlled Systems Using Neural Networks. HSCC (2022)
Yan Zhao, Weihao Zhang, Enyi Tang, Haipeng Cai, Xi Guo, Na Meng
A Lightweight Approach of Human-Like Playtesting. CoRR (2021)
Meng Sha, Xin Chen, Yuzhe Ji, Qingye Zhao, Zhengfeng Yang, Wang Lin, Enyi Tang, Qiguang Chen, Xuandong Li
Synthesizing Barrier Certificates of Neural Network Controlled Continuous Systems via Approximations. DAC (2021)
Qingye Zhao, Xin Chen, Yifan Zhang, Meng Sha, Zhengfeng Yang, Wang Lin, Enyi Tang, Qiguang Chen, Xuandong Li
Synthesizing ReLU neural networks with two hidden layers as barrier certificates for hybrid systems. HSCC (2021)
Anxiang Xiao, Enyi Tang, Xin Chen, Linzhang Wang
Accelerating Accuracy Improvement for Floating Point Programs via Memory Based Pruning. Internetware (2020)
Chao Huang, Xin Chen, Enyi Tang, Mengda He, Lei Bu, Shengchao Qin, Yifeng Zeng
Navigating Discrete Difference Equation Governed WMR by Virtual Linear Leader Guided HMPC. ICRA (2020)
Xie Wang, Huaijin Wang, Zhendong Su, Enyi Tang, Xin Chen, Weijun Shen, Zhenyu Chen, Linzhang Wang, Xianpei Zhang, Xuandong Li
Global optimization of numerical programs via prioritized stochastic algebraic transformations. ICSE (2019)
Bin Li, Juan Zhai, Zhenhao Tang, Enyi Tang, Jianhua Zhao
A Framework for Array Invariants Synthesis in Induction-Loop Programs. APSEC (2017)
Chucheng Zhang, Haoliang Cheng, Enyi Tang, Xin Chen, Lei Bu, Xuandong Li
Sketch-guided GUI test generation for mobile applications. ASE (2017)
Enyi Tang, Xiangyu Zhang, Norbert Th. Müller, Zhenyu Chen, Xuandong Li
Software Numerical Instability Detection and Diagnosis by Combining Stochastic and Infinite-Precision Testing. IEEE Trans. Software Eng. 43 (10) (2017)
Shuai Wei, Enyi Tang, Tianyu Liu, Norbert Th. Müller, Zhenyu Chen
Automatic Numerical Analysis Based on Infinite-Precision Arithmetic. SERE (2014)
Enyi Tang, Linzhang Wang, Jianhua Zhao, Xuandong Li
Time-leverage point detection for time sensitive software maintenance. ICSM (2012)
Enyi Tang, Earl T. Barr, Xuandong Li, Zhendong Su
Perturbing numerical calculations for statistical analysis of floating-point program (in)stability. ISSTA (2010)
Zhengxing Sun, Lisha Zhang, Enyi Tang
An Incremental Learning Method Based on SVM for Online Sketchy Shape Recognition. ICNC (1) (2005)