Hui Liu Hee Beng Kuan Tan Testing input validation in Web applications through automated model recovery. 222-233 2008 81 Journal of Systems and Software 2 http://dx.doi.org/10.1016/j.jss.2007.05.007 db/journals/jss/jss81.html#LiuT08