| A Survey of Parametric Static Analysis | 0 | 0.34 | 2022 |
| JEST: N+1 -version Differential Testing of Both JavaScript Engines and Specification | 0 | 0.34 | 2021 |
| JEST: N+1-version Differential Testing of Both JavaScript Engines and Specification | 0 | 0.34 | 2021 |
| JSTAR: JavaScript Specification Type Analyzer using Refinement | 0 | 0.34 | 2021 |
| Accelerating JavaScript static analysis via dynamic shortcuts | 0 | 0.34 | 2021 |
| JUSTGen: Effective Test Generation for Unspecified JNI Behaviors on JVMs | 0 | 0.34 | 2021 |
| All about activity injection: Threats, semantics, detection, and defense | 0 | 0.34 | 2020 |
| Analysis of Blockchain Smart Contracts: Techniques and Insights | 0 | 0.34 | 2020 |
| Automatically Tracing Imprecision Causes in JavaScript Static Analysis. | 0 | 0.34 | 2020 |
| JISET: JavaScript IR-based semantics extraction toolchain | 1 | 0.35 | 2020 |
| Gap between theory and practice: an empirical study of security patches in solidity | 1 | 0.35 | 2020 |
| Broadening horizons of multilingual static analysis: semantic summary extraction from C code for JNI program analysis | 1 | 0.35 | 2020 |
| Weakly sensitive analysis for JavaScript object-manipulating programs. | 0 | 0.34 | 2019 |
| Adlib: analyzer for mobile ad platform libraries | 0 | 0.34 | 2019 |
| Towards Analysis and Bug Finding of JavaScript Web Applications in the Wild | 0 | 0.34 | 2019 |
| Polymorphic symmetric multiple dispatch with variance. | 0 | 0.34 | 2019 |
| Retinal Blood Vessel Caliber Estimation For Optical Coherence Tomography Angiography Images Based On 3d Superellipsoid Modeling | 0 | 0.34 | 2019 |
| Automatic Modeling of Opaque Code for JavaScript Static Analysis. | 1 | 0.36 | 2019 |
| Towards understanding and reasoning about Android interoperations | 0 | 0.34 | 2019 |
| A Theoretical Foundation of Sensitivity in an Abstract Interpretation Framework. | 1 | 0.36 | 2018 |
| Static analysis of JavaScript libraries in a scalable and precise way using loop sensitivity. | 0 | 0.34 | 2018 |
| Automatic Detection of Visibility Faults by Layout Changes in HTML5 Web Pages | 0 | 0.34 | 2018 |
| Path dependent types with path-equality. | 0 | 0.34 | 2018 |
| EventHandler-Based Analysis Framework for Web Apps Using Dynamically Collected States. | 0 | 0.34 | 2018 |
| Web Programming Chairs' Welcome & Organization. | 0 | 0.34 | 2018 |
| Revisiting recency abstraction for JavaScript: towards an intuitive, compositional, and efficient heap abstraction | 0 | 0.34 | 2017 |
| All about activity injection: threats, semantics, and detection. | 1 | 0.35 | 2017 |
| Analysis of JavaScript Programs: Challenges and Research Trends. | 4 | 0.42 | 2017 |
| Analysis of JavaScript web applications using SAFE 2.0. | 0 | 0.34 | 2017 |
| Partition-Based Coverage Metrics and Type-Guided Search in Concolic Testing for JavaScript Applications. | 0 | 0.34 | 2017 |
| Battles with false positives in static analysis of JavaScript web applications in the wild. | 7 | 0.45 | 2016 |
| Scalable framework for parsing: from Fortress to JavaScript | 0 | 0.34 | 2016 |
| Journey to find bugs in JavaScript web applications in the wild. | 0 | 0.34 | 2016 |
| Precise and scalable static analysis of jQuery using a regular expression domain. | 3 | 0.42 | 2016 |
| HybriDroid: static analysis framework for Android hybrid applications. | 14 | 0.56 | 2016 |
| ThisType for Object-Oriented Languages: From Theory to Practice. | 0 | 0.34 | 2016 |
| Development nature matters: An empirical study of code clones in JavaScript applications | 9 | 0.45 | 2016 |
| Practically Tunable Static Analysis Framework for Large-Scale JavaScript Applications (T) | 9 | 0.51 | 2015 |
| Static Analysis of JavaScript Web Applications in the Wild via Practical DOM Modeling (T) | 10 | 0.51 | 2015 |
| Bittersweet ADB: Attacks and Defenses. | 7 | 0.53 | 2015 |
| Scalable and Precise Static Analysis of JavaScript Applications via Loop-Sensitivity (Artifact). | 0 | 0.34 | 2015 |
| Scalable and Precise Static Analysis of JavaScript Applications via Loop-Sensitivity. | 15 | 0.67 | 2015 |
| A New Formalization of Subtyping to Match Subclasses to Subtypes. | 2 | 0.40 | 2014 |
| SAFEWAPI: web API misuse detector for web applications | 15 | 0.71 | 2014 |
| REST to JavaScript for better client-side development | 0 | 0.34 | 2014 |
| JavaScript module system: exploring the design space | 2 | 0.44 | 2014 |
| All about the with statement in JavaScript: removing with statements in JavaScript applications | 4 | 0.51 | 2013 |
| Formal specification of a JavaScript module system | 6 | 0.63 | 2012 |
| Exact type parameterization and ThisType support | 3 | 0.42 | 2012 |
| FortressCheck: automatic testing for generic properties | 0 | 0.34 | 2011 |
