Anders Møller
TitleCited byYear
Precise analysis of string expressions
A Christensen, A Møller, M Schwartzbach
Static Analysis, 10th International Symposium, SAS 2003, 1-18, 2003
5152003
Type analysis for JavaScript
S Jensen, A Møller, P Thiemann
Static Analysis Symposium, 238-255, 2009
3562009
The pointer assertion logic engine
A Møller, MI Schwartzbach
ACM SIGPLAN Conference on Programming Language Design and Implementation …, 2001
3502001
Mona version 1.4: User manual
N Klarlund, A Møller
BRICS, Dept. of Computer Science, Univ. of Aarhus, 2001
2142001
A framework for automated testing of JavaScript web applications
S Artzi, J Dolby, SH Jensen, A Møller, F Tip
Proceeding of the 33rd International Conference on Software Engineering, 571-580, 2011
2052011
Automated Testing with Targeted Event Sequence Generation
CS Jensen, MR Prasad, A Møller
International Symposium on Software Testing and Analysis, 2013
1922013
MONA implementation secrets
N Klarlund, A Møller, MI Schwartzbach
International Journal of Foundations of Computer Science 13 (4), 571-586, 2002
1882002
In defense of soundiness: a manifesto
B Livshits, M Sridharan, Y Smaragdakis, O Lhoták, JN Amaral, ...
Communications of the ACM 58 (2), 44-46, 2015
1602015
An introduction to XML and Web Technologies
A Møller, MI Schwartzbach
Addison Wesley Publishing Company, 2006
156*2006
Extending Java for high-level Web service construction
AS Christensen, A Møller, MI Schwartzbach
ACM Transactions on Programming Languages and Systems (TOPLAS) 25 (6), 814-875, 2003
1502003
The <bigwig> project
C Brabrand, A Møller, MI Schwartzbach
ACM Transactions on Internet Technology (TOIT) 2 (2), 79-114, 2002
148*2002
DSD: A schema language for XML
N Klarlund, A Møller, MI Schwartzbach
Proceedings of the third workshop on Formal methods in software practice …, 2000
1322000
Modeling the HTML DOM and browser API in static analysis of JavaScript web applications
SH Jensen, M Madsen, A Møller
19th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE …, 2011
1252011
dk.brics.automaton - finite-state automata and regular expressions for Java
A Møller
http://www.brics.dk/automaton/, 2010
101*2010
Static analysis of XML transformations in Java
C Kirkegaard, A Møller, MI Schwartzbach
Software Engineering, IEEE Transactions on 30 (3), 181-192, 2004
1012004
Remedying the Eval that Men Do
SH Jensen, PA Jonsson, A Møller
International Symposium on Software Testing and Analysis, 2012
952012
Mona 1. x: new techniques for WS1S and WS2S
J Elgaard, N Klarlund, A Møller
Computer Aided Verification, 516-520, 1998
951998
Determinacy in Static Analysis of jQuery
E Andreasen, A Møller
Proceedings of the 29th Annual ACM SIGPLAN Conference on Object-Oriented …, 2014
932014
Powerforms: Declarative client-side form field validation
C Brabrand, A Møller, M Ricky, MI Schwartzbach
World Wide Web 3 (4), 205-214, 2000
922000
Dual syntax for XML languages
C Brabrand, A Møller, MI Schwartzbach
Information Systems 33 (4), 385-406, 2008
812008
The system can't perform the operation now. Try again later.
Articles 1–20