| Synonym Expansion for Large Shopping Taxonomies | 0 | 0.34 | 2019 |
| HAMPI: A solver for word equations over strings, regular expressions, and context-free grammars | 19 | 0.70 | 2012 |
| Automated repair of HTML generation errors in PHP applications using string constraint solving | 59 | 1.67 | 2012 |
| Fault Localization for Dynamic Web Applications | 14 | 0.52 | 2012 |
| A framework for automated testing of javascript web applications | 87 | 2.86 | 2011 |
| F4F: taint analysis of framework-based web applications | 36 | 1.67 | 2011 |
| HAMPI: a string solver for testing, analysis and vulnerability detection | 10 | 0.71 | 2011 |
| Finding Bugs in Web Applications Using Dynamic Test Generation and Explicit-State Model Checking | 69 | 2.42 | 2010 |
| Directed test generation for effective fault localization | 78 | 1.90 | 2010 |
| Parameter reference immutability: formal definition, inference tool, and comparison | 6 | 0.49 | 2009 |
| ReCrashJ: a tool for capturing and reproducing program crashes in deployed applications | 4 | 0.43 | 2009 |
| ReCrash: Making Software Failures Reproducible by Preserving Object States | 61 | 2.15 | 2008 |
| Finding bugs in dynamic web applications | 78 | 4.91 | 2008 |
| miRNAminer: A tool for homologous microRNA gene search | 6 | 0.63 | 2008 |
| Object and reference immutability using Java generics | 42 | 2.36 | 2007 |
| Combined static and dynamic mutability analysis | 9 | 0.88 | 2007 |
| Automatic test factoring for java | 65 | 3.73 | 2005 |
| Using predicate fields in a highly flexible industrial control system | 0 | 0.34 | 2005 |
