PAWA: a program analysis tool for Web based intranet applications | IEEE Conference Publication | IEEE Xplore