Yang Liu

Cited by

	All	Since 2016
Citations	9431	7629
h-index	48	41
i10-index	209	175

2300

1150

575

1725

200920102011201220132014201520162017201820192020202167 122 125 207 373 329 405 443 585 857 1434 2292 1895

Public access

View all

85 articles

36 articles

available

not available

Based on funding mandates

Co-authors

jun sunAssociate Professor of SCIS, SMUVerified email at smu.edu.sg
Jin Song DongProfessor of Computer Science, National University of Singapore and Griffith UniversityVerified email at nus.edu.sg
Lei MaAssociate Professor and Canada CIFAR AI Chair, University of AlbertaVerified email at ualberta.ca
Xiaofei XieNanyang Technological UniversityVerified email at tju.edu.cn
Felix Juefei-XuResearch Scientist, Alibaba GroupVerified email at cmu.edu
Jianjun ZhaoKyushu UniversityVerified email at ait.kyushu-u.ac.jp
Shang-Wei LinAssistant Professor, Nanyang Technological UniversityVerified email at ntu.edu.sg
Bihuan ChenAssociate Professor, Fudan UniversityVerified email at fudan.edu.cn
Yinxing XueResearch Professor (Pre-Tenure), University of Science and Technology of ChinaVerified email at ustc.edu.cn
Guozhu MengAssociate Professor with Chinese Academy of SciencesVerified email at iie.ac.cn
Sen ChenAssociate Professor, Tianjin UniversityVerified email at tju.edu.cn
Guo, Qing (郭青)Nanyang Technological UniversityVerified email at ieee.org
Mahinthan ChandramohanNTU SingaporeVerified email at e.ntu.edu.sg
Hesuan HuXidian UniversityVerified email at mail.xidian.edu.cn
Minhui Xue (Jason Xue)Lecturer (a.k.a. Assistant Professor), The University of AdelaideVerified email at adelaide.edu.au
Ting SuProfessor of Computer Science, East China Normal University, ChinaVerified email at sei.ecnu.edu.cn
Jie ZhangAssociate Professor, Computer Science and Engineering, NTU, SingaporeVerified email at ntu.edu.sg
Hongxu ChenNanyang Technological UniversityVerified email at ntu.edu.sg
Annamalai NarayananNTU SingaporeVerified email at e.ntu.edu.sg
Lingling FanAssociate Professor, Nankai UniversityVerified email at nankai.edu.cn

Yang Liu

University Leadership Forum Chair Professor, Nanyang Technological University

Verified email at ntu.edu.sg - Homepage

Software Engineering Cyber Security Formal Methods


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
PAT: Towards flexible verification under fairness J Sun, Y Liu, JS Dong, J Pang International Conference on Computer Aided Verification, 709-714, 2009	424	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	303	2018
graph2vec: Learning distributed representations of graphs A Narayanan, M Chandramohan, R Venkatesan, L Chen, Y Liu, S Jaiswal arXiv preprint arXiv:1707.05005, 2017	282	2017
Machine learning testing: Survey, landscapes and horizons JM Zhang, M Harman, L Ma, Y Liu IEEE Transactions on Software Engineering, 2020	243	2020
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	201	2009
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	185	2017
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	181*	2019
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	177	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	177	2017
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	169	2017
Cloudy with a chance of breach: Forecasting cyber security incidents Y Liu, A Sarabi, J Zhang, P Naghizadeh, M Karir, M Bailey, M Liu 24th {USENIX} Security Symposium ({USENIX} Security 15), 1009-1024, 2015	167	2015
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	158	2016
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	140	2015
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	123	2009
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	122	2013
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	119*	2019
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	97	2011
Verifying linearizability via optimized refinement checking Y Liu, W Chen, YA Liu, J Sun, SJ Zhang, JS Dong IEEE Transactions on Software Engineering 39 (7), 1018-1039, 2013	96*	2013
Hawkeye: towards a desired directed grey-box fuzzer H Chen, Y Xue, Y Li, B Chen, X Xie, X Wu, Y Liu Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications …, 2018	90	2018
BinGo: cross-architecture cross-OS binary search M Chandramohan, Y Xue, Z Xu, Y Liu, CY Cho, HBK Tan Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations …, 2016	87	2016

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow this author

Cited by

Co-authors