Department of Computer Science

• Published

  Nodest: Feedback-driven static analysis of Node.js applications

  Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review

• Published

  Systematic Approaches for Increasing Soundness and Precision of Static Analyzers

  Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review

View all (2) »