Anders Møller
Title
Cited by
Cited by
Year
Precise analysis of string expressions
A Christensen, A Møller, M Schwartzbach
Static Analysis, 10th International Symposium, SAS 2003, 1-18, 2003
5352003
Type analysis for JavaScript
S Jensen, A Møller, P Thiemann
Static Analysis Symposium, 238-255, 2009
3752009
The pointer assertion logic engine
A Møller, MI Schwartzbach
ACM SIGPLAN Conference on Programming Language Design and Implementation …, 2001
3562001
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
2172011
Mona version 1.4: User manual
N Klarlund, A Møller
BRICS, Dept. of Computer Science, Univ. of Aarhus, 2001
2172001
Automated Testing with Targeted Event Sequence Generation
CS Jensen, MR Prasad, A Møller
International Symposium on Software Testing and Analysis, 2013
2092013
MONA implementation secrets
N Klarlund, A Møller, MI Schwartzbach
International Journal of Foundations of Computer Science 13 (4), 571-586, 2002
1962002
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
1782015
An introduction to XML and Web Technologies
A Møller, MI Schwartzbach
Addison Wesley Publishing Company, 2006
158*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
1532003
The <bigwig> project
C Brabrand, A Møller, MI Schwartzbach
ACM Transactions on Internet Technology (TOIT) 2 (2), 79-114, 2002
145*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
1302000
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
1282011
dk.brics.automaton - finite-state automata and regular expressions for Java
A Møller
http://www.brics.dk/automaton/, 2010
107*2010
Remedying the Eval that Men Do
SH Jensen, PA Jonsson, A Møller
International Symposium on Software Testing and Analysis, 2012
1012012
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
Determinacy in Static Analysis of jQuery
E Andreasen, A Møller
Proceedings of the 29th Annual ACM SIGPLAN Conference on Object-Oriented …, 2014
982014
Mona 1. x: new techniques for WS1S and WS2S
J Elgaard, N Klarlund, A Møller
Computer Aided Verification, 516-520, 1998
981998
Powerforms: Declarative client-side form field validation
C Brabrand, A Møller, M Ricky, MI Schwartzbach
World Wide Web 3 (4), 205-214, 2000
932000
Dual syntax for XML languages
C Brabrand, A Møller, MI Schwartzbach
Information Systems 33 (4), 385-406, 2008
852008
The system can't perform the operation now. Try again later.
Articles 1–20