| Perturbing numerical calculations for statistical analysis of floating-point program (in) stability E Tang, E Barr, X Li, Z Su Proceedings of the 19th international symposium on Software testing and …, 2010 | 57 | 2010 |
| Synthesizing ReLU neural networks with two hidden layers as barrier certificates for hybrid systems Q Zhao, X Chen, Y Zhang, M Sha, Z Yang, W Lin, E Tang, Q Chen, X Li Proceedings of the 24th International Conference on Hybrid Systems …, 2021 | 22 | 2021 |
| Sketch-guided GUI test generation for mobile applications C Zhang, H Cheng, E Tang, X Chen, L Bu, X Li 2017 32nd IEEE/ACM International Conference on Automated Software …, 2017 | 18 | 2017 |
| Software numerical instability detection and diagnosis by combining stochastic and infinite-precision testing E Tang, X Zhang, NT Müller, Z Chen, X Li IEEE Transactions on Software Engineering 43 (10), 975-994, 2016 | 16 | 2016 |
| Global Optimization of Numerical Programs via Prioritized Stochastic Algebraic Transformations X Wang, H Wang, Z Su, E Tang, X Chen, W Shen, Z Chen, L Wang, ... Proceedings of International Conference on Software Engineering (ICSE 2019), 2019 | 12 | 2019 |
| Synthesizing barrier certificates of neural network controlled continuous systems via approximations M Sha, X Chen, Y Ji, Q Zhao, Z Yang, W Lin, E Tang, Q Chen, X Li 2021 58th ACM/IEEE Design Automation Conference (DAC), 631-636, 2021 | 11 | 2021 |
| Verifying neural network controlled systems using neural networks Q Zhao, X Chen, Z Zhao, Y Zhang, E Tang, X Li Proceedings of the 25th ACM International Conference on Hybrid Systems …, 2022 | 10 | 2022 |
| An incremental learning method based on SVM for online sketchy shape recognition Z Sun, L Zhang, E Tang Advances in Natural Computation: First International Conference, ICNC 2005 …, 2005 | 8 | 2005 |
| Graph neural network based two-phase fault localization approach Z Li, E Tang, X Chen, L Wang, X Li Proceedings of the 13th Asia-Pacific Symposium on Internetware, 85-95, 2022 | 5 | 2022 |
| A lightweight approach of human-like playtest for android apps Y Zhao, E Tang, H Cai, X Guo, X Wang, N Meng 2022 IEEE international conference on software analysis, evolution and …, 2022 | 4 | 2022 |
| A lightweight approach of human-like playtesting Y Zhao, W Zhang, E Tang, H Cai, X Guo, N Meng arXiv preprint arXiv:2102.13026, 2021 | 4 | 2021 |
| Automatic numerical analysis based on infinite-precision arithmetic S Wei, E Tang, T Liu, NT Müller, Z Chen 2014 Eighth International Conference on Software Security and Reliability …, 2014 | 3 | 2014 |
| A framework for array invariants synthesis in induction-loop programs B Li, J Zhai, Z Tang, E Tang, J Zhao 2017 24th Asia-Pacific Software Engineering Conference (APSEC), 21-30, 2017 | 2 | 2017 |
| Wassertrain: An Adversarial Training Framework Against Wasserstein Adversarial Attacks Q Zhao, X Chen, Z Zhao, E Tang, X Li ICASSP 2022-2022 IEEE International Conference on Acoustics, Speech and …, 2022 | 1 | 2022 |
| Navigating discrete difference equation governed wmr by virtual linear leader guided hmpc C Huang, X Chen, E Tang, M He, L Bu, S Qin, Y Zeng 2020 IEEE International Conference on Robotics and Automation (ICRA), 151-157, 2020 | 1 | 2020 |
| Time-leverage point detection for time sensitive software maintenance E Tang, L Wang, J Zhao, X Li 2012 28th IEEE International Conference on Software Maintenance (ICSM), 567-570, 2012 | 1 | 2012 |
| Accelerating Accuracy Improvement for Floating Point Programs via Memory Based Pruning A Xiao, E Tang, X Chen, L Wang Proceedings of the 12th Asia-Pacific Symposium on Internetware, 240-249, 2020 | | 2020 |
| Sketch-guided GUI test generation for mobile applications E Tang, W Linzhang, C Zhang, H Cheng, X Chen, LI Xuandong US Patent 10,719,430, 2020 | | 2020 |
| For Research Only A Xiao, E Tang, X Chen, L Wang | | 2020 |
| HAT: Analyzing Linear Hybrid Automata as Labelled Transition System L Bu, H Jiang, X Chen, E Tang, X Li Symposium on Real-Time and Hybrid Systems: Essays Dedicated to Professor …, 2018 | | 2018 |
Zhenyu ChenNanjing University在 nju.edu.cn 的电子邮件经过验证
Zhenyu ChenNanjing University在 nju.edu.cn 的电子邮件经过验证
Lei BuNanjing University在 nju.edu.cn 的电子邮件经过验证
Linzhang WangProfessor of Computer Science, Nanjing University在 nju.edu.cn 的电子邮件经过验证