Concepedia

Martin Toldam Torp

MT

6

Publications

191

Citations

6

H-Index

2018

Active since

Affiliations

Aarhus University(Current)

Martin Toldam Torp is an author at Aarhus University specializing in software engineering, formal methods, and formal verification.

Top concepts

Publications per year

2018–2021

6

Publications

6

Modular call graph construction for security scanning of Node.js applications

Benjamin Barslev Nielsen, Martin Toldam Torp, Anders Møller · 2021 · 45 citations

Type Regression Testing to Detect Breaking Changes in Node.js Libraries

Gianluca Mezzetti, Anders Møller, Martin Toldam Torp · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2018 · 35 citations · Full text

Model-based testing of breaking changes in Node.js libraries

Anders Møller, Martin Toldam Torp · 2019 · 33 citations · Full text

Extracting taint specifications for JavaScript libraries

Cristian-Alexandru Staicu, Martin Toldam Torp, Max Schäfer et al. · 2020 · 33 citations · Full text

Detecting locations in JavaScript programs affected by breaking library changes

Anders Møller, Benjamin Barslev Nielsen, Martin Toldam Torp · Proceedings of the ACM on Programming Languages · 2020 · 28 citations · Full text

, , +16

Rows per page

1–5 of 6