Concepedia

Anders Møller

AM

79

Publications

3.5K

Citations

34

H-Index

1999

Active since

Affiliations

Aarhus University(Current)

KTH Royal Institute of Technology

National and Kapodistrian University of Athens

Anders Møller is an author at Aarhus University specializing in engineering, program analysis, and computer science.

Top concepts

EngineeringComputer ScienceProgram AnalysisSoftware AnalysisSoftware EngineeringFormal MethodsSoftware TestingFormal VerificationVerificationSoftware Design

Publications per year

1999–2022

79

Publications

79

The pointer assertion logic engine

Anders Møller, Michael I. Schwartzbach · 2001 · 263 citations

Formal Specification, Engineering, Program Checking +15

In defense of soundiness

Benjamin Livshits, Manu Sridharan, Yannis Smaragdakis et al. · Communications of the ACM · 2015 · 222 citations

Music, Psychoacoustics, New Sound +12

A framework for automated testing of javascript web applications

Shay Artzi, Julian Dolby, Simon Holm Jensen et al. · 2011 · 205 citations

Engineering, Javascript Applications, Program Analysis +11

Automated testing with targeted event sequence generation

Casper S. Jensen, Mukul R. Prasad, Anders Møller · 2013 · 200 citations

Software Maintenance, Engineering, Verification +20

MONA IMPLEMENTATION SECRETS

Nils Klarlund, Anders Møller, Michael I. Schwartzbach · International Journal of Foundations of Computer Science · 2002 · 133 citations

Formula Reductions, Engineering, Eager Minimization +18

Rows per page

1–5 of 79