| PAT: Towards flexible verification under fairness J Sun, Y Liu, JS Dong, J Pang International Conference on Computer Aided Verification, 709-714, 2009 | 349 | 2009 |
| Model checking CSP revisited: Introducing a process analysis toolkit J Sun, Y Liu, JS Dong Leveraging Applications of Formal Methods, Verification and Validation, 307-322, 2009 | 167 | 2009 |
| DeepGauge: Multi-Granularity Testing Criteria for Deep Learning Systems L Ma, F Juefei-Xu, F Zhang, J Sun, M Xue, B Li, C Chen, T Su, L Li, Y Liu, ... Proceedings of the 33rd ACM/IEEE International Conference on Automated …, 2018 | 139 | 2018 |
| Steelix: program-state based binary fuzzing Y Li, B Chen, M Chandramohan, SW Lin, Y Liu, A Tiu Proceedings of the 2017 11th Joint Meeting on Foundations of Software …, 2017 | 113 | 2017 |
| Skyfire: Data-driven seed generation for fuzzing J Wang, B Chen, L Wei, Y Liu 2017 IEEE Symposium on Security and Privacy (SP), 579-594, 2017 | 113 | 2017 |
| subgraph2vec: Learning distributed representations of rooted sub-graphs from large graphs A Narayanan, M Chandramohan, L Chen, Y Liu, S Saminathan arXiv preprint arXiv:1606.08928, 2016 | 110 | 2016 |
| AUTHSCAN: Automatic Extraction of Web Authentication Protocols from Implementations G Bai, J Lei, G Meng, SS Venkatraman, P Saxena, J Sun, Y Liu, JS Dong Proceedings of the 20th Annual Network and Distributed System Security …, 2013 | 107 | 2013 |
| Semantics-based online malware detection: Towards efficient real-time protection against malware S Das, Y Liu, W Zhang, M Chandramohan IEEE transactions on information forensics and security 11 (2), 289-302, 2015 | 98 | 2015 |
| graph2vec: Learning distributed representations of graphs A Narayanan, M Chandramohan, R Venkatesan, L Chen, Y Liu, S Jaiswal arXiv preprint arXiv:1707.05005, 2017 | 97 | 2017 |
| Integrating specification and programs for system modeling and verification J Sun, Y Liu, JS Dong, C Chen Theoretical Aspects of Software Engineering, 2009. TASE 2009. Third IEEE …, 2009 | 96 | 2009 |
| Guided, stochastic model-based GUI testing of Android apps T Su, G Meng, Y Chen, K Wu, W Yang, Y Yao, G Pu, Y Liu, Z Su Proceedings of the 2017 11th Joint Meeting on Foundations of Software …, 2017 | 88 | 2017 |
| Verification of computation orchestration via timed automata J Dong, Y Liu, J Sun, X Zhang Formal Methods and Software Engineering, 226-245, 2006 | 79 | 2006 |
| Pat 3: An extensible architecture for building multi-domain model checkers Y Liu, J Sun, JS Dong The 22nd annual International Symposium on Software Reliability Engineering …, 2011 | 77 | 2011 |
| DeepMutation: Mutation Testing of Deep Learning Systems L Ma, F Zhang, J Sun, M Xue, B Li, F Juefei-Xu, C Xie, L Li, Y Liu, J Zhao, ... The 29th IEEE International Symposium on Software Reliability Engineering …, 2018 | 74 | 2018 |
| Modeling and verifying hierarchical real-time systems using stateful timed CSP J Sun, Y Liu, JS Dong, Y Liu, L Shi, É André ACM Transactions on Software Engineering and Methodology (TOSEM) 22 (1), 1-29, 2013 | 73 | 2013 |
| Model checking linearizability via refinement Y Liu, W Chen, Y Liu, J Sun FM 2009: Formal Methods, 321-337, 2009 | 66 | 2009 |
| Collaborative security: A survey and taxonomy G Meng, Y Liu, J Zhang, A Pokluda, R Boutaba ACM Computing Surveys (CSUR) 48 (1), 1-42, 2015 | 60 | 2015 |
| DeepHunter: a coverage-guided fuzz testing framework for deep neural networks X Xie, L Ma, F Juefei-Xu, M Xue, H Chen, Y Liu, J Zhao, B Li, J Yin, S See Proceedings of the 28th ACM SIGSOFT International Symposium on Software …, 2019 | 57* | 2019 |
| DeepCT: Tomographic Combinatorial Testing for Deep Learning Systems L Ma, F Juefei-Xu, M Xue, B Li, L Li, Y Liu, J Zhao 2019 IEEE 26th International Conference on Software Analysis, Evolution and …, 2019 | 54* | 2019 |
| An Automatic Approach to Model Checking UML State Machines SJ Zhang, Y Liu Secure Software Integration and Reliability Improvement Companion (SSIRI-C …, 2010 | 54 | 2010 |
jun sunAssociate Professor of SIS, SMUVerified email at smu.edu.sg
