Automated Security Analysis of Dynamic Web Applications through Symbolic Code Execution. - Giovanni Agosta; Alessandro Barenghi; Antonio Parata; Gerardo Pelosi (ITNG, 2012)