CPR: Cross platform binary code reuse via platform independent trace program
- Yonghwi Kwon
- Weihang Wang
- et al.
- 2017
- ISSTA 2017
Publications
Date
Featured collections
Popular topics
26 results for Yunhui Zheng
Opportunities in Software Engineering Research for Web API Consumption
- Erik Wittern
- Annie T. T. Ying
- et al.
- 2017
- WAPI 2017
J-force: Forced execution on JavaScript
- Kyungtae Kim
- I. Luk Kim
- et al.
- 2017
- WWW 2017
ARROW: Automated repair of races on client-side web pages
- Weihang Wang
- Yunhui Zheng
- et al.
- 2016
- ISSTA 2016
Incorporating Signal Awareness in Source Code Modeling: An Application to Vulnerability Detection
- Sahil Suneja
- Yufan Zhuang
- et al.
- 2023
- ACM TOSEM
Z3str2: an efficient solver for strings, regular expressions, and length constraints
- Yunhui Zheng
- Vijay Ganesh
- et al.
- 2016
- Formal Methods in System Design