Yang Liu

Cited by

	All	Since 2016
Citations	8353	6554
h-index	45	38
i10-index	189	156

2300

1150

575

1725

200920102011201220132014201520162017201820192020202167 123 128 209 378 329 407 439 593 856 1436 2284 890

Public access

View all

73 articles

37 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
Jianjun ZhaoKyushu UniversityVerified email at ait.kyushu-u.ac.jp
Yinxing XueResearch Professor (Pre-Tenure), University of Science and Technology of ChinaVerified email at ustc.edu.cn
Shang-Wei LinAssistant Professor, Nanyang Technological UniversityVerified email at ntu.edu.sg
Bihuan ChenAssociate Professor, Fudan UniversityVerified email at fudan.edu.cn
Guozhu MengChinese Academy of SciencesVerified email at iie.ac.cn
Felix Juefei-XuResearch Scientist, Alibaba GroupVerified email at cmu.edu
Sen Chen (陈森)Associate Professor, Tianjin UniversityVerified email at tju.edu.cn
Hesuan HuXidian UniversityVerified email at mail.xidian.edu.cn
Mahinthan ChandramohanNTU SingaporeVerified email at e.ntu.edu.sg
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
Guo, Qing (郭青)Nanyang Technological UniversityVerified email at ieee.org
Annamalai NarayananNTU SingaporeVerified email at e.ntu.edu.sg
Lingling FanAssociate Professor, Nankai UniversityVerified email at nankai.edu.cn
Étienne AndréUniversité Paris 13, LIPN, CNRS, UMR 7030, F-93430, Villetaneuse, FranceVerified email at univ-paris13.fr

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	418	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	273	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	227	2017
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	195	2009
Machine learning testing: Survey, landscapes and horizons JM Zhang, M Harman, L Ma, Y Liu IEEE Transactions on Software Engineering, 2020	173	2020
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	162	2017
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	157	2017
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	156	2018
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	151	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	147*	2019
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	145	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	143	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	129	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	119	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	117	2013
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	106*	2011
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	101*	2019
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	93*	2013
Verification of computation orchestration via timed automata J Dong, Y Liu, J Sun, X Zhang Formal Methods and Software Engineering, 226-245, 2006	86	2006
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	81	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

Upload PDF

Follow this author

Cited by

Co-authors