Z3-str: a z3-based string solver for web application analysis.

Yunhui Zheng Xiangyu Zhang Vijay Ganesh

Published in: ESEC/SIGSOFT FSE (2013)

Keyphrases

web applications
website
databases
object oriented
computer systems
web browser