Giovanni Agosta, Alessandro Barenghi, Antonio Parata, Gerardo Pelosi. Automated Security Analysis of Dynamic Web Applications through Symbolic Code Execution. In Shahram Latifi, editor, Ninth International Conference on Information Technology: New Generations, ITNG 2012, Las Vegas, Nevada, USA, 16-18 April, 2012. pages 189-194, IEEE Computer Society, 2012. [doi]
Abstract is missing.