| Precise analysis of string expressions A Christensen, A Møller, M Schwartzbach Static Analysis, 10th International Symposium, SAS 2003, 1-18, 2003 | 625 | 2003 |
| Type analysis for JavaScript S Jensen, A Møller, P Thiemann Static Analysis Symposium, 238-255, 2009 | 602 | 2009 |
| 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 | 390 | 2015 |
| The pointer assertion logic engine A Møller, MI Schwartzbach ACM SIGPLAN Conference on Programming Language Design and Implementation …, 2001 | 379 | 2001 |
| 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 | 296 | 2011 |
| Automated Testing with Targeted Event Sequence Generation CS Jensen, MR Prasad, A Møller International Symposium on Software Testing and Analysis, 2013 | 274 | 2013 |
| Mona version 1.4: User manual N Klarlund, A Møller BRICS, Dept. of Computer Science, Univ. of Aarhus, 2001 | 250 | 2001 |
| MONA implementation secrets N Klarlund, A Møller, MI Schwartzbach International Journal of Foundations of Computer Science 13 (4), 571-586, 2002 | 232 | 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 | 179 | 2011 |
| An introduction to XML and Web Technologies A Møller, MI Schwartzbach Addison Wesley Publishing Company, 2006 | 179 | 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 | 159 | 2003 |
| dk.brics.automaton - finite-state automata and regular expressions for Java A Møller http://www.brics.dk/automaton/, 2010 | 155* | 2010 |
| Static Program Analysis A Møller, MI Schwartzbach Department of Computer Science, Aarhus University, Denmark, 2012 | 153 | 2012 |
| Remedying the Eval that Men Do SH Jensen, PA Jonsson, A Møller International Symposium on Software Testing and Analysis, 2012 | 152 | 2012 |
| The <bigwig> project C Brabrand, A Møller, MI Schwartzbach ACM Transactions on Internet Technology (TOIT) 2 (2), 79-114, 2002 | 152* | 2002 |
| 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 | 149 | 2015 |
| Determinacy in Static Analysis of jQuery E Andreasen, A Møller Proceedings of the 29th Annual ACM SIGPLAN Conference on Object-Oriented …, 2014 | 149 | 2014 |
| 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 | 125 | 2000 |
| Mona 1. x: new techniques for WS1S and WS2S J Elgaard, N Klarlund, A Møller Computer Aided Verification, 516-520, 1998 | 125 | 1998 |
| A Survey of Dynamic Analysis and Test Generation for JavaScript E Andreasen, A Møller, L Gong, M Pradel, M Selakovic, K Sen, CA Staicu ACM Computing Surveys, 2017 | 123 | 2017 |
Michael SchwartzbachProfessor of Computer Science, Aarhus UniversityVerified email at cs.au.dk
