Enyi Tang

Enyi Tang

Nanjing University - Nanjing / China
Natural Sciences / Mathematical Sciences
AD Scientific Index ID: 4569768
南京大学
person_outline Enyi Tang's MOST POPULAR ARTICLES
1-) Perturbing numerical calculations for statistical analysis of floating-point program (in) stabilityE Tang, E Barr, X Li, Z SuProceedings of the 19th international symposium on Software testing and …, 2010582010
2-) Synthesizing ReLU neural networks with two hidden layers as barrier certificates for hybrid systemsQ Zhao, X Chen, Y Zhang, M Sha, Z Yang, W Lin, E Tang, Q Chen, X LiProceedings of the 24th International Conference on Hybrid Systems …, 2021172021
3-) Sketch-guided GUI test generation for mobile applicationsC Zhang, H Cheng, E Tang, X Chen, L Bu, X Li2017 32nd IEEE/ACM International Conference on Automated Software …, 2017172017
4-) Software numerical instability detection and diagnosis by combining stochastic and infinite-precision testingE Tang, X Zhang, NT Müller, Z Chen, X LiIEEE Transactions on Software Engineering 43 (10), 975-994, 2016172016
5-) Synthesizing barrier certificates of neural network controlled continuous systems via approximationsM Sha, X Chen, Y Ji, Q Zhao, Z Yang, W Lin, E Tang, Q Chen, X Li2021 58th ACM/IEEE Design Automation Conference (DAC), 631-636, 2021142021