| A sound floating-point polyhedra abstract domain L Chen, A Miné, P Cousot Asian Symposium on Programming Languages and Systems, 3-18, 2008 | 121 | 2008 |
| Analyzing deep neural networks with symbolic propagation: Towards higher precision and faster verification J Li, J Liu, P Yang, L Chen, X Huang, L Zhang Static Analysis: 26th International Symposium, SAS 2019, Porto, Portugal …, 2019 | 100 | 2019 |
| Interval polyhedra: An abstract domain to infer interval linear relationships L Chen, A Miné, J Wang, P Cousot International Static Analysis Symposium, 309-325, 2009 | 78 | 2009 |
| Detecting numerical bugs in neural network architectures Y Zhang, L Ren, L Chen, Y Xiong, SC Cheung, T Xie Proceedings of the 28th ACM Joint Meeting on European Software Engineering …, 2020 | 63 | 2020 |
| Efficient automated repair of high floating-point errors in numerical libraries X Yi, L Chen, X Mao, T Ji Proceedings of the ACM on Programming Languages 3 (POPL), 1-29, 2019 | 51 | 2019 |
| How different is it between machine-generated and developer-provided patches?: An empirical study on the correct patches generated by automated program repair techniques S Wang, M Wen, L Chen, X Yi, X Mao 2019 ACM/IEEE International Symposium on Empirical Software Engineering and …, 2019 | 50 | 2019 |
| Automated program repair by using similar code containing fix ingredients T Ji, L Chen, X Mao, X Yi 2016 IEEE 40th Annual Computer Software and Applications Conference (COMPSAC …, 2016 | 43 | 2016 |
| An abstract domain to discover interval linear equalities L Chen, A Miné, J Wang, P Cousot International Workshop on Verification, Model Checking, and Abstract …, 2010 | 31 | 2010 |
| Data race detection for interrupt-driven programs via bounded model checking X Wu, Y Wen, L Chen, W Dong, J Wang 2013 IEEE Seventh International Conference on Software Security and …, 2013 | 29 | 2013 |
| Transplantfix: Graph differencing-based code transplantation for automated program repair D Yang, X Mao, L Chen, X Xu, Y Lei, D Lo, J He Proceedings of the 37th IEEE/ACM International Conference on Automated …, 2022 | 22 | 2022 |
| Enhancing robustness verification for deep neural networks via symbolic propagation P Yang, J Li, J Liu, CC Huang, R Li, L Chen, X Huang, L Zhang Formal Aspects of Computing 33 (3), 407-435, 2021 | 22 | 2021 |
| Understanding merge conflicts and resolutions in git rebases T Ji, L Chen, X Yi, X Mao 2020 IEEE 31st international symposium on software reliability engineering …, 2020 | 21 | 2020 |
| Efficient global search for inputs triggering high floating-point inaccuracies X Yi, L Chen, X Mao, T Ji 2017 24th Asia-Pacific Software Engineering Conference (APSEC), 11-20, 2017 | 21 | 2017 |
| Linear absolute value relation analysis L Chen, A Miné, J Wang, P Cousot Programming Languages and Systems: 20th European Symposium on Programming …, 2011 | 17 | 2011 |
| Static analysis of runtime errors in interrupt-driven programs via sequentialization X Wu, L Chen, A Miné, W Dong, J Wang ACM Transactions on Embedded Computing Systems (TECS) 15 (4), 1-26, 2016 | 16 | 2016 |
| An abstract domain to infer octagonal constraints with absolute value L Chen, J Liu, A Miné, D Kapur, J Wang Static Analysis: 21st International Symposium, SAS 2014, Munich, Germany …, 2014 | 15 | 2014 |
| Numerical static analysis of interrupt-driven programs via sequentialization X Wu, L Chen, A Miné, W Dong, J Wang 2015 International Conference on Embedded Software (EMSOFT), 55-64, 2015 | 14 | 2015 |
| Verifying numerical programs via iterative abstract testing B Yin, L Chen, J Liu, J Wang, P Cousot Static Analysis: 26th International Symposium, SAS 2019, Porto, Portugal …, 2019 | 12 | 2019 |
| Identifying supplementary bug-fix commits T Ji, J Pan, L Chen, X Mao 2018 IEEE 42nd Annual Computer Software and Applications Conference (COMPSAC …, 2018 | 11 | 2018 |
| Block-wise abstract interpretation by combining abstract domains with smt J Jiang, L Chen, X Wu, J Wang Verification, Model Checking, and Abstract Interpretation: 18th …, 2017 | 11 | 2017 |
Mao XiaoguangNational University of Defense TechnologyVerificeret mail på nudt.edu.cn
