Concepedia

Christoffer Quist Adamsen

CQ

4

Publications

169

Citations

4

H-Index

2015

Active since

Affiliations

Aarhus University(Current)

Northeastern University

Christoffer Quist Adamsen is an author at Aarhus University specializing in formal verification, software engineering, and program analysis.

Top concepts

Publications per year

2015–2018

4

Publications

4

Systematic execution of Android test suites in adverse conditions

Christoffer Quist Adamsen, Gianluca Mezzetti, Anders Møller · 2015 · 102 citations

, , +18

Repairing Event Race Errors by Controlling Nondeterminism

Christoffer Quist Adamsen, Anders Møller, Rezwana Karim et al. · 2017 · 38 citations · Full text

, , +18

Practical AJAX race detection for JavaScript web applications

Christoffer Quist Adamsen, Anders Møller, Saba Alimadadi et al. · 2018 · 15 citations · Full text

Practical initialization race detection for JavaScript web applications

Christoffer Quist Adamsen, Anders Møller, Frank Tip · Proceedings of the ACM on Programming Languages · 2017 · 14 citations · Full text

, , +13

Rows per page

1–4 of 4