Anders Møller
タイトル
引用先
引用先
年
Precise analysis of string expressions
A Christensen, A Møller, M Schwartzbach
Static Analysis, 10th International Symposium, SAS 2003, 1-18, 2003
5472003
Type analysis for JavaScript
S Jensen, A Møller, P Thiemann
Static Analysis Symposium, 238-255, 2009
3882009
The pointer assertion logic engine
A Møller, MI Schwartzbach
ACM SIGPLAN Conference on Programming Language Design and Implementation …, 2001
3572001
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
2252011
Mona version 1.4: User manual
N Klarlund, A Møller
BRICS, Dept. of Computer Science, Univ. of Aarhus, 2001
2182001
Automated Testing with Targeted Event Sequence Generation
CS Jensen, MR Prasad, A Møller
International Symposium on Software Testing and Analysis, 2013
2122013
MONA implementation secrets
N Klarlund, A Møller, MI Schwartzbach
International Journal of Foundations of Computer Science 13 (4), 571-586, 2002
2012002
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
1922015
An introduction to XML and Web Technologies
A Møller, MI Schwartzbach
Addison Wesley Publishing Company, 2006
161*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
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
1312011
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
dk.brics.automaton - finite-state automata and regular expressions for Java
A Møller
http://www.brics.dk/automaton/, 2010
113*2010
Remedying the Eval that Men Do
SH Jensen, PA Jonsson, A Møller
International Symposium on Software Testing and Analysis, 2012
1042012
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
Mona 1. x: new techniques for WS1S and WS2S
J Elgaard, N Klarlund, A Møller
Computer Aided Verification, 516-520, 1998
1011998
Determinacy in Static Analysis of jQuery
E Andreasen, A Møller
Proceedings of the 29th Annual ACM SIGPLAN Conference on Object-Oriented …, 2014
1002014
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
Systematic Execution of Android Test Suites in Adverse Conditions
CQ Adamsen, G Mezzetti, A Møller
International Symposium on Software Testing and Analysis (ISSTA), 2015
872015
現在システムで処理を実行できません。しばらくしてからもう一度お試しください。
論文 1–20