Documents Related by Co-Citation

579 DART: Directed automated random testing – Patrice Godefroid, Nils Klarlund, Koushik Sen - 2005
54 Path feasibility analysis for string-manipulating programs – Nikolaj Bjørner, Nikolai Tillmann, Andrei Voronkov - 2009
475 Z3: An efficient SMT solver – Leonardo de Moura, Nikolaj Bjørner - 2008
150 Pixy: A Static Analysis Tool for Detecting Web Application Vulnerabilities (Short Paper) – Nenad Jovanovic, Christopher Kruegel, Engin Kirda - 2006
76 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
38 A Decision Procedure for Subset Constraints over Regular Languages – Pieter Hooimeijer, Westley Weimer - 2009
43 Dynamic test input generation for web applications – G Wassermann, D Yu, A Chander, D Dhurjati, H Inamura, Z Su - 2008
175 Precise analysis of string expressions – Aske Simon Christensen, Anders Møller, Michael I. Schwartzbach - 2003
153 Static Detection of Security Vulnerabilities in Scripting Languages – Yichen Xie, Alex Aiken