| MoScan: a model-based vulnerability scanner for web single sign-on services | 1 | 0.38 | 2021 |
| Commit-time incremental analysis | 0 | 0.34 | 2019 |
| Scalable Static Analysis to Detect Security Vulnerabilities: Challenges and Solutions | 0 | 0.34 | 2018 |
| Driver Generation for Java EE Web Applications | 0 | 0.34 | 2018 |
| Improving the Scalability of Automatic Linearizability Checking in SPIN. | 1 | 0.35 | 2017 |
| An efficient tunable selective points-to analysis for large codebases | 0 | 0.34 | 2017 |
| Evaluating quality of security testing of the JDK | 0 | 0.34 | 2017 |
