WebRanz: Web page randomization for better advertisement delivery and web-bot preventionWeihang WangYunhui Zhenget al.2016FSE 2016
ARROW: Automated repair of races on client-side web pagesWeihang WangYunhui Zhenget al.2016ISSTA 2016
IntEQ: Recognizing benign integer overflows via equivalence checking across multiple precisionsHao SunXiangyu Zhanget al.2016ICSE 2016