Sreeranga P. Rajan Oksana Tkachuk Mukul R. Prasad Indradeep Ghosh Nitin Goel Tadahiro Uehara WEAVE: WEb Applications Validation Environment. 101-111 2009 ICSE Companion http://dx.doi.org/10.1109/ICSE-COMPANION.2009.5070968 conf/icse/2009c db/conf/icse/icse2009c.html#RajanTPGGU09