| Hiding Critical Program Components via Ambiguous Translation | 0 | 0.34 | 2022 |
| Varangian: A Git Bot for Augmented Static Analysis | 0 | 0.34 | 2022 |
| VELVET: a noVel Ensemble Learning approach to automatically locate VulnErable sTatements | 0 | 0.34 | 2022 |
| Probing model signal-awareness via prediction-preserving input minimization | 1 | 0.35 | 2021 |
| Towards Reliable AI for Source Code Understanding | 1 | 0.35 | 2021 |
| D2A: A Dataset Built for AI-Based Vulnerability Detection Methods Using Differential Analysis | 4 | 0.38 | 2021 |
| Defeating program analysis techniques via ambiguous translation | 0 | 0.34 | 2021 |
| Finding client-side business flow tampering vulnerabilities | 1 | 0.34 | 2020 |
| MinerRay: semantics-aware analysis for ever-evolving cryptojacking detection | 1 | 0.35 | 2020 |
| Adjust: runtime mitigation of resource abusing third-party online ads | 1 | 0.35 | 2019 |
| AdBudgetKiller: Online Advertising Budget Draining Attack. | 0 | 0.34 | 2018 |
| Stringfuzz: A Fuzzer For String Solvers | 2 | 0.42 | 2018 |
| J-Force: Forced Execution on JavaScript. | 12 | 0.58 | 2017 |
| Opportunities in Software Engineering Research for Web API Consumption. | 0 | 0.34 | 2017 |
| PAD: programming third-party web advertisement censorship. | 1 | 0.35 | 2017 |
| Z3str3: A String Solver with Theory-aware Branching. | 1 | 0.35 | 2017 |
| Z3str2: an efficient solver for strings, regular expressions, and length constraints. | 3 | 0.41 | 2017 |
| Automatic text input generation for mobile testing. | 11 | 0.45 | 2017 |
| CPR: cross platform binary code reuse via platform independent trace program. | 1 | 0.36 | 2017 |
| Statically Checking Web API Requests in JavaScript. | 10 | 0.54 | 2017 |
| IntEQ: recognizing benign integer overflows via equivalence checking across multiple precisions. | 0 | 0.34 | 2016 |
| WebRanz: web page randomization for better advertisement delivery and web-bot prevention. | 3 | 0.41 | 2016 |
| ARROW: automated repair of races on client-side web pages. | 7 | 0.45 | 2016 |
| Light: replay via tightly bounded recording | 7 | 0.42 | 2015 |
| RAIVE: runtime assessment of floating-point instability by vectorization | 3 | 0.40 | 2015 |
| Effective Search-Space Pruning For Solvers Of String Equations, Regular Expressions And Length Constraints | 13 | 0.55 | 2015 |
| Virtual DOM coverage for effective testing of dynamic web applications | 7 | 0.42 | 2014 |
| Path sensitive static analysis of web applications for remote code execution vulnerability detection | 19 | 0.72 | 2013 |
| Z3-str: a z3-based string solver for web application analysis | 83 | 2.02 | 2013 |
| Precise Calling Context Encoding | 28 | 0.92 | 2012 |
| Static detection of resource contention problems in server-side scripts | 10 | 0.55 | 2012 |
| White box sampling in uncertain data processing enabled by program analysis | 9 | 0.54 | 2012 |
| Toward generating reducible replay logs | 8 | 0.48 | 2011 |
| Statically locating web application bugs caused by asynchronous calls | 37 | 1.47 | 2011 |
| Strict control dependence and its effect on dynamic information flow analyses | 17 | 0.81 | 2010 |
