CRAXweb: Automatic Web Application Testing and Attack Generation
Selective Symbolic Execution