Yunhui Zheng
Yunhui Zheng
IBM Research
Verified email at us.ibm.com - Homepage
Title
Cited by
Cited by
Year
Z3-str: A z3-based string solver for web application analysis
Y Zheng, X Zhang, V Ganesh
Proceedings of the 2013 9th Joint Meeting on Foundations of Software …, 2013
2042013
Statically locating web application bugs caused by asynchronous calls
Y Zheng, T Bao, X Zhang
Proceedings of the 20th international conference on World wide web, 805-814, 2011
792011
Path sensitive static analysis of web applications for remote code execution vulnerability detection
Y Zheng, X Zhang
2013 35th International Conference on Software Engineering (ICSE), 652-661, 2013
772013
Precise calling context encoding
WN Sumner, Y Zheng, D Weeratunge, X Zhang
IEEE Transactions on Software Engineering 38 (5), 1160-1177, 2011
702011
Strict control dependence and its effect on dynamic information flow analyses
T Bao, Y Zheng, Z Lin, X Zhang, D Xu
Proceedings of the 19th international symposium on Software testing and …, 2010
562010
Automatic text input generation for mobile testing
P Liu, X Zhang, M Pistoia, Y Zheng, M Marques, L Zeng
2017 IEEE/ACM 39th International Conference on Software Engineering (ICSE …, 2017
442017
J-force: Forced execution on javascript
K Kim, IL Kim, CH Kim, Y Kwon, Y Zheng, X Zhang, D Xu
Proceedings of the 26th international conference on World Wide Web, 897-906, 2017
402017
Effective search-space pruning for solvers of string equations, regular expressions and length constraints
Y Zheng, V Ganesh, S Subramanian, O Tripp, J Dolby, X Zhang
International Conference on Computer Aided Verification, 235-254, 2015
372015
Z3str3: A string solver with theory-aware heuristics
M Berzish, V Ganesh, Y Zheng
2017 Formal Methods in Computer Aided Design (FMCAD), 55-59, 2017
332017
Z3str2: an efficient solver for strings, regular expressions, and length constraints
Y Zheng, V Ganesh, S Subramanian, O Tripp, M Berzish, J Dolby, ...
Formal Methods in System Design 50 (2-3), 249-288, 2017
322017
Statically checking web API requests in JavaScript
E Wittern, ATT Ying, Y Zheng, J Dolby, JA Laredo
2017 IEEE/ACM 39th International Conference on Software Engineering (ICSE …, 2017
272017
Opportunities in software engineering research for web API consumption
E Wittern, ATT Ying, Y Zheng, JA Laredo, J Dolby, CC Young, ...
2017 IEEE/ACM 1st International Workshop on API Usage and Evolution (WAPI), 7-10, 2017
232017
Static detection of resource contention problems in server-side scripts
Y Zheng, X Zhang
2012 34th International Conference on Software Engineering (ICSE), 584-594, 2012
232012
Light: Replay via tightly bounded recording
P Liu, X Zhang, O Tripp, Y Zheng
Proceedings of the 36th ACM SIGPLAN Conference on Programming Language …, 2015
212015
Virtual DOM coverage for effective testing of dynamic web applications
Y Zou, Z Chen, Y Zheng, X Zhang, Z Gao
Proceedings of the 2014 International Symposium on Software Testing and …, 2014
202014
White box sampling in uncertain data processing enabled by program analysis
T Bao, Y Zheng, X Zhang
ACM SIGPLAN Notices 47 (10), 897-914, 2012
192012
Stringfuzz: A fuzzer for string solvers
D Blotsky, F Mora, M Berzish, Y Zheng, I Kabir, V Ganesh
International Conference on Computer Aided Verification, 45-51, 2018
182018
Toward generating reducible replay logs
KH Lee, Y Zheng, N Sumner, X Zhang
ACM SIGPLAN Notices 46 (6), 246-257, 2011
182011
WebRanz: Web Page Randomization For Better Advertisement Delivery and Web-Bot Prevention
W Wang, Y Zheng, X Xing, Y Kwon, X Zhang, P Eugster
Proceedings of the 24th ACM SIGSOFT International Symposium on the …, 2016
142016
ARROW: Automated repair of races on client-side web pages
W Wang, Y Zheng, P Liu, L Xu, X Zhang, P Eugster
Proceedings of the 25th International Symposium on Software Testing and …, 2016
132016
The system can't perform the operation now. Try again later.
Articles 1–20