Enyi Tang

Numerical Instability Detection andDiagnosis by Combining Stochastic andInfinite-precision Testing

X. Zhang, Xuandong Li, Zhenyu Chen, 2018 .

Verifying Neural Network Controlled Systems Using Neural Networks

Xuandong Li, Xin Chen, Enyi Tang, 2022, HSCC.

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

Xuandong Li, Zhengfeng Yang, Wang Lin, 2021, HSCC.

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

Chao Huang, Shengchao Qin, Enyi Tang, 2020, 2020 IEEE International Conference on Robotics and Automation (ICRA).

Program instability detection based on systematically optimized numerical perturbation

Earl T. Barr, Enyi Tang, ZhenDong Su, 2014 .

Graph Neural Network based Two-Phase Fault Localization Approach

Linzhang Wang, Xuandong Li, Xin Chen, 2022, Internetware.

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

Zhendong Su, Xuandong Li, Earl T. Barr, 2010, ISSTA '10.

A Lightweight Approach of Human-Like Playtest for Android Apps

Xiaoyin Wang, Na Meng, Haipeng Cai, 2022, 2022 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER).

Synthesizing Barrier Certificates of Neural Network Controlled Continuous Systems via Approximations

Zhengfeng Yang, Wang Lin, Enyi Tang, 2021, 2021 58th ACM/IEEE Design Automation Conference (DAC).

Time-leverage point detection for time sensitive software maintenance

Jianhua Zhao, Xuandong Li, Linzhang Wang, 2012, 2012 28th IEEE International Conference on Software Maintenance (ICSM).

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

Xiangyu Zhang, Zhenyu Chen, Xuandong Li, 2017, IEEE Transactions on Software Engineering.