Opportunities in Software Engineering Research for Web API Consumption
- Erik Wittern
- Annie T. T. Ying
- et al.
- 2017
- WAPI 2017
Publications
27 results for Yunhui Zheng
J-force: Forced execution on JavaScript
- Kyungtae Kim
- I. Luk Kim
- et al.
- 2017
- WWW 2017
Z3str2: an efficient solver for strings, regular expressions, and length constraints
- Yunhui Zheng
- Vijay Ganesh
- et al.
- 2016
- Formal Methods in System Design
WebRanz: Web page randomization for better advertisement delivery and web-bot prevention
- Weihang Wang
- Yunhui Zheng
- et al.
- 2016
- FSE 2016
ARROW: Automated repair of races on client-side web pages
- Weihang Wang
- Yunhui Zheng
- et al.
- 2016
- ISSTA 2016
IntEQ: Recognizing benign integer overflows via equivalence checking across multiple precisions
- Hao Sun
- Xiangyu Zhang
- et al.
- 2016
- ICSE 2016
Light: Replay via tightly bounded recording
- Peng Liu
- Xiangyu Zhang
- et al.
- 2015
- PLDI 2015