@inproceedings{Felmetsger2010Toward_Automated, title = {{Toward Automated Detection of Logic Vulnerabilities in Web Applications}}, author = {Felmetsger, Viktoria and Cavedon, Ludovico and Kruegel, Christopher and Vigna, Giovanni}, booktitle = {Proceedings of the 19th Symposium on USENIX Security}, month = {August}, year = {2010}, address = {Washington, DC} }