Documents Related by Co-Citation

49 Path feasibility analysis for string-manipulating programs – Nikolaj Bjørner, Nikolai Tillmann, Andrei Voronkov - 2009
522 DART: Directed automated random testing – Patrice Godefroid, Nils Klarlund, Koushik Sen - 2005
33 A Decision Procedure for Subset Constraints over Regular Languages – Pieter Hooimeijer, Westley Weimer - 2009
68 Saner: Composing Static and Dynamic Analysis to Validate Sanitization in Web Applications – Davide Balzarotti, Marco Cova, Vika Felmetsger, Nenad Jovanovic, Engin Kirda, Christopher Kruegel, Giovanni Vigna - 2007
34 Z.: Dynamic test input generation for web applications – G Wassermann, D Yu, A Chander, D Dhurjati, H Inamura, Su - 2008
136 Pixy: A Static Analysis Tool for Detecting Web Application Vulnerabilities (Short Paper) – Nenad Jovanovic, Christopher Kruegel, Engin Kirda - 2006
157 Precise analysis of string expressions – Aske Simon Christensen, Anders Møller, Michael I. Schwartzbach - 2003
419 Z3: An Efficient SMT Solver – Leonardo De Moura, Nikolaj Bjørner - 2008
81 Static Approximation of Dynamically Generated Web Pages – Yasuhiko Minamide - 2005
111 Sound and Precise Analysis of Web Applications for Injection Vulnerabilities – Gary Wassermann, Zhendong Su - 2007
136 Static Detection of Security Vulnerabilities in Scripting Languages – Yichen Xie, Alex Aiken
168 Automated Whitebox Fuzz Testing – Patrice Godefroid, Michael Y. Levin, David Molnar
128 A decision procedure for bitvectors and arrays – Vijayganeshanddavidl. Dill - 2007
128 The essence of command injection attacks in web applications – Zhendong Su - 2006
147 Automatically hardening web applications using precise tainting – Anh Nguyen-tuong, Salvatore Guarnieri, Doug Greene, David Evans - 2005
22 Symbolic string verification: Combining string analysis and size analysis – Fang Yu, Tevfik Bultan, Oscar H. Ibarra
57 Static Detection of Cross-Site Scripting Vulnerabilities – Gary Wassermann, Zhendong Su - 2008
226 EXE: Automatically generating inputs of death – Cristian Cadar, Vijay Ganesh, Peter M. Pawlowski, David L. Dill, Dawson R. Engler - 2006
26 Blueprint: Robust Prevention of Cross-site Scripting Attacks for Existing Browsers – Mike Ter Louw, V. N. Venkatakrishnan - 2009