| Deep learning library testing via effective model generation Z Wang, M Yan, J Chen, S Liu, D Zhang Proceedings of the 28th ACM Joint Meeting on European Software Engineering …, 2020 | 146 | 2020 |
| Falsification of Cyber-Physical Systems Using Deep Reinforcement Learning JH Takumi Akazaki, Shuang Liu, Yoriyuki Yamagata,Yihai Duan International Symposium on Formal Methods, 456-465, 2018 | 75* | 2018 |
| Attention-based recurrent neural network for influenza epidemic prediction X Zhu, B Fu, Y Yang, Y Ma, J Hao, S Chen, S Liu, T Li, S Liu, W Guo, ... BMC bioinformatics 20, 1-10, 2019 | 74 | 2019 |
| An empirical study on correlation between coverage and robustness for deep neural networks Y Dong, P Zhang, J Wang, S Liu, J Sun, J Hao, X Wang, L Wang, J Dong, ... 2020 25th International Conference on Engineering of Complex Computer …, 2020 | 70* | 2020 |
| A formal semantics for complete UML state machines with communications S Liu, Y Liu, E André, C Choppy, J Sun, B Wadhwa, JS Dong Integrated Formal Methods: 10th International Conference, IFM 2013, Turku …, 2013 | 69 | 2013 |
| A Survey on Automated Driving System Testing: Landscapes and Trends S Tang, Z Zhang, Y Zhang, J Zhou, Y Guo, S Liu, S Guo, YF Li, L Ma, ... TOSEM, 2023 | 60 | 2023 |
| Have you been properly notified? automatic compliance analysis of privacy policy text with gdpr article 13 S Liu, B Zhao, R Guo, G Meng, F Zhang, M Zhang Proceedings of the Web Conference 2021, 2154-2164, 2021 | 56 | 2021 |
| Fake news detection via knowledgeable prompt learning MZ Gongyao Jiang, Shuang Liu, Yu Zhao, Yueheng Sun Information Processing & Management 59 (5), 2022 | 55 | 2022 |
| Falsification of cyber-physical systems using deep reinforcement learning Y Yamagata, S Liu, T Akazaki, Y Duan, J Hao IEEE Transactions on Software Engineering 47 (12), 2823 - 2840, 2021 | 54 | 2021 |
| TECCD: A Tree Embedding Approach for Code Clone Detection Y Gao, Z Wang, S Liu, L Yang, W Sang, Y Cai 2019 IEEE International Conference on Software Maintenance and Evolution …, 2019 | 43 | 2019 |
| Automatic early defects detection in use case documents S Liu, J Sun, Y Liu, Y Zhang, B Wadhwa, JS Dong, X Wang Proceedings of the 29th ACM/IEEE international conference on Automated …, 2014 | 39 | 2014 |
| Natural test generation for precise testing of question answering software Q Shen, J Chen, JM Zhang, H Wang, S Liu, M Tian Proceedings of the 37th IEEE/ACM International Conference on Automated …, 2022 | 33 | 2022 |
| FuzzJIT: Oracle-Enhanced Fuzzing for JavaScript Engine JIT Compiler J Wang, Z Zhang, S Liu, X Du, J Chen USENIX 2023, 2023 | 30 | 2023 |
| Pfix: fixing concurrency bugs based on memory access patterns H Lin, Z Wang, S Liu, J Sun, D Zhang, G Wei Proceedings of the 33rd ACM/IEEE International Conference on Automated …, 2018 | 30 | 2018 |
| A comprehensive study on learning-based PE malware family classification methods Y Ma, S Liu, J Jiang, G Chen, K Li Proceedings of the 29th ACM Joint Meeting on European Software Engineering …, 2021 | 24 | 2021 |
| SE-ECGNet: A multi-scale deep residual network with squeeze-and-excitation module for ECG signal classification H Zhang, W Zhao, S Liu 2020 IEEE international conference on bioinformatics and biomedicine (BIBM …, 2020 | 20 | 2020 |
| Formalizing UML state machines for automated verification–A survey É André, S Liu, Y Liu, C Choppy, J Sun, JS Dong ACM Computing Surveys 55 (13s), 1-47, 2023 | 17 | 2023 |
| USMMC: a self-contained model checker for UML state machines S Liu, Y Liu, J Sun, M Zheng, B Wadhwa, JS Dong Proceedings of the 2013 9th Joint Meeting on Foundations of Software …, 2013 | 17 | 2013 |
| Map-coverage: A novel coverage criterion for testing thread-safe classes Z Wang, Y Zhao, S Liu, J Sun, X Chen, H Lin 2019 34th IEEE/ACM International Conference on Automated Software …, 2019 | 16 | 2019 |
| Towards using concurrent java api correctly S Liu, G Bai, J Sun, JS Dong 2016 21st International Conference on Engineering of Complex Computer …, 2016 | 16 | 2016 |
Sun JunProfessor of SCIS, SMU在 smu.edu.sg 的电子邮件经过验证