About this scholarly article

Z3-str: a Z3-based String Solver for Web Application Analysis by Yunhui Zheng, Xiangyu Zhang, Vijay Ganesh is a scholarly article available to read on EtoBox.

Author

Yunhui Zheng, Xiangyu Zhang, Vijay Ganesh