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 | 123 | 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 | 73* | 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 | 69 | 2019 |
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 | 68 | 2013 |
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 | 60* | 2020 |
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 | 49 | 2021 |
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 | 47 | 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 | 41 | 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 | 40 | 2014 |
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 | 37 | 2023 |
Fake news detection via knowledgeable prompt learning MZ Gongyao Jiang, Shuang Liu, Yu Zhao, Yueheng Sun Information Processing & Management 59 (5), 2022 | 36 | 2022 |
Multiple transisthmian divergences, extensive cryptic diversity, occasional long‐distance dispersal, and biogeographic patterns in a marine coastal isopod with an amphi … LA Hurtado, M Mateos, G Mattos, S Liu, PA Haye, PC Paiva Ecology and Evolution 6 (21), 7794-7808, 2016 | 35 | 2016 |
Selected topics on reaction-diffusion-advection models from spatial ecology KY Lam, S Liu, Y Lou arXiv preprint arXiv:2004.07978, 2020 | 33 | 2020 |
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 | 28 | 2022 |
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 | 28 | 2018 |
Monotonicity of the principal eigenvalue for a linear time-periodic parabolic operator S Liu, Y Lou, R Peng, M Zhou Proceedings of the American Mathematical Society 147 (12), 5291-5302, 2019 | 23 | 2019 |
Genetic differentiation of Portunus trituberculatus, the world's largest crab fishery, among its three main fishing areas S Liu, J Sun, LA Hurtado Fisheries research 148, 38-46, 2013 | 23 | 2013 |
Asymptotic spreading of interacting species with multiple fronts I: A geometric optics approach Q Liu, S Liu, KY Lam arXiv preprint arXiv:1908.05025, 2019 | 20 | 2019 |
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 | 18 | 2021 |
Classifying the level set of principal eigenvalue for time-periodic parabolic operators and applications S Liu, Y Lou Journal of Functional Analysis 282 (4), 109338, 2022 | 17 | 2022 |