rhaidiz.net
Web Application Formal Exploiter: a formal and automated approach to exploit multiple vulnerabilities of web applications
WAFEx, a project to testing the security of web application by combining multiple vulnerabilities.