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 | 126 | 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 | 70 | 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 | 62* | 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 | 49 | 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 | 38 | 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 |
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 |
Gadolinium chelate with DO3A conjugated 2-(diphenylphosphoryl)-ethyldiphenylphosphonium cation as potential tumor-selective MRI contrast agent P Chandrasekharan, CX Yong, Z Poh, T He, Z He, S Liu, EG Robins, ... Biomaterials 33 (36), 9225-9231, 2012 | 23 | 2012 |
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 |
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 | 15 | 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 | 15 | 2016 |
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 | 15 | 2013 |
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 | 14 | 2020 |
FuzzJIT: Oracle-Enhanced Fuzzing for JavaScript Engine JIT Compiler J Wang, Z Zhang, S Liu, X Du, J Chen USENIX 2023, 2023 | 13 | 2023 |