Anders Møller

  1. 2017
  2. Published

    QuickChecking static analysis properties. / Midtgaard, Jan; Møller, Anders.

    In: Software Testing Verification and Reliability, Vol. 27, No. 6, e1640, 09.2017.

    Research output: Research - peer-reviewJournal article

  3. Published

    Systematic black-box analysis of collaborative web applications. / Billes, Marina; Møller, Anders; Pradel, Michael.

    PLDI 2017 - Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation. Vol. Part F128414 Association for Computing Machinery, 2017. p. 171-184.

    Research output: Research - peer-reviewArticle in proceedings

  4. Published

    Message safety in Dart. / Ernst, Erik; Møller, Anders; Schwarz, Mathias; Strocco, Fabio.

    In: Science of Computer Programming, Vol. 133/1, No. 1, 01.01.2017, p. 51-73.

    Research output: Research - peer-reviewJournal article

  5. 2016
  6. Published

    Type safety analysis for dart. / Heinze, Thomas S.; Møller, Anders; Strocco, Fabio.

    DLS 2016 - Proceedings of the 12th Symposium on Dynamic Languages. ed. / Roberto Ierusalimschy. Association for Computing Machinery, 2016. p. 1-12.

    Research output: Research - peer-reviewArticle in proceedings

  7. Published

    Type unsoundness in practice: An empirical study of dart. / Mezzetti, Gianluca; Møller, Anders; Strocco, Fabio.

    DLS 2016 - Proceedings of the 12th Symposium on Dynamic Languages. ed. / Roberto Ierusalimschy. Association for Computing Machinery, 2016. p. 13-24.

    Research output: Research - peer-reviewArticle in proceedings

  8. Published

    Analyzing Test Completeness for Dynamic Languages. / Adamsen, Christoffer Quist; Mezzetti, Gianluca; Møller, Anders.

    Proceedings of the 25th International Symposium on Software Testing and Analysis: ISSTA 2016. New York, NY, USA : Association for Computing Machinery, 2016. p. 142-153.

    Research output: Research - peer-reviewArticle in proceedings

  9. Published

    Feedback-directed instrumentation for deployed JavaScript applications. / Madsen, Magnus; Tip, Frank; Andreasen, Esben Sparre; Sen, Koushik; Møller, Anders.

    Proceedings of the 38th International Conference on Software Engineering : ICSE 2016. New York, NY, USA : Association for Computing Machinery, 2016. p. 899-910.

    Research output: Research - peer-reviewArticle in proceedings

  10. 2015
  11. Published

    In Defense of Soundiness: A Manifesto. / Livshits, Benjamin; Sridharan, Manu; Smaragdakis, Yannis; Lhoták, Ondřej ; Amaral, J. Nelson; Chang, Bor-Yuh Evan; Guyer, Samuel Z.; Khedker, Uday P.; Møller, Anders; Vardoulakis, Dimitrios.

    In: Communications of the A C M, Vol. 58, No. 2, 2015.

    Research output: Research - peer-reviewJournal article

  12. Published

    Message Safety in Dart. / Ernst, Erik; Schwarz, Mathias Romme; Strocco, Fabio; Møller, Anders.

    Dynamic Languages Symposium 2015, DLS . 2015.

    Research output: Research - peer-reviewArticle in proceedings

  13. Published

    QuickChecking Static Analysis Properties. / Midtgaard, Jan; Møller, Anders.

    8th IEEE International Conference on Software Testing, Verification and Validation (ICST), 2015. IEEE, 2015. p. 1-10.

    Research output: Research - peer-reviewArticle in proceedings

  14. Published

    SOAP'15 : Proceedings of the 4th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis. / Møller, Anders; Naik, Mayur.

    Proceedings of the 4th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis. Association for Computing Machinery, 2015.

    Research output: Research - peer-reviewArticle in proceedings

  15. Published

    Stateless Model Checking of Event-Driven Applications. / Jensen, Casper Svenning; Møller, Anders; Raychev, Veselin; Dimitrov, Dimitar; Vechev, Martin.

    OOPSLA 2015 : Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications . Association for Computing Machinery, 2015. p. 57-73.

    Research output: Research - peer-reviewArticle in proceedings

  16. Published

    Systematic Execution of Android Test Suites in Adverse Conditions. / Adamsen, Christoffer Quist; Møller, Anders; Mezzetti, Gianluca.

    Proceedings of the 2015 International Symposium on Software Testing and Analysis, ISSTA '15. Association for Computing Machinery, 2015. p. 83-93 .

    Research output: Research - peer-reviewArticle in proceedings

  17. 2014
  18. Published

    Automated Detection of Client-State Manipulation Vulnerabilities. / Møller, Anders; Schwarz, Mathias Romme.

    In: A C M Transactions on Software Engineering and Methodology, Vol. 23/4, 29, 08.2014.

    Research output: Research - peer-reviewJournal article

  19. Published

    Checking Correctness of TypeScript Interfaces for JavaScript Libraries. / Feldthaus, Asger; Møller, Anders.

    OOPSLA '14 Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications. Association for Computing Machinery, 2014.

    Research output: Research - peer-reviewArticle in proceedings

  20. Published

    Determinacy in Static Analysis of jQuery. / Andreasen, Esben; Møller, Anders.

    Proceedings of the ACM International Conference on Object Oriented Programming Systems Languages & Applications, OOPSLA '14. ed. / Andrew Black; Todd Millstein. Association for Computing Machinery, 2014. p. 17-31 .

    Research output: Research - peer-reviewArticle in proceedings

  21. Published

    Managing Gradual Typing with Message-Safety in Dart. / Ernst, Erik; Møller, Anders; Schwarz, Mathias Romme; Strocco, Fabio.

    2014. Paper presented at International Workshop on Foundations of Object-Oriented Languages , Portland, United States.

    Research output: Research - peer-reviewPaper

  22. Published

    Sparse Dataflow Analysis with Pointers and Reachability. / Madsen, Magnus; Møller, Anders.

    Static Analysis: 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings. ed. / Markus Müller-Olm ; Helmut Seidl. Springer-VS, 2014. p. 201-218.

    Research output: Research - peer-reviewArticle in proceedings

  23. 2013
  24. Published

    Automated Testing with Targeted Event Sequence Generation. / Jensen, Casper Svenning; Prasad, Mukul R.; Møller, Anders.

    International Symposium on Software Testing and Analysis (ISSTA), 2013: Proceedings. ed. / Mauro Pezzè; Mark Harman. Association for Computing Machinery, 2013. p. 67-77.

    Research output: Research - peer-reviewArticle in proceedings

  25. Published

    Semi-Automatic Rename Refactoring for JavaScript. / Feldthaus, Asger; Møller, Anders.

    In: ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages and Applications, 2013, p. 323-338 .

    Research output: Research - peer-reviewConference article

  26. Published

    Server Interface Descriptions for Automated Testing of JavaScript Web Applications. / Jensen, Casper Svenning; Møller, Anders; Su, Zhendong.

    Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering, ESEC/FSE 2013 . ed. / Bertrand Meyer; Luciano Baresi; Mira Mezini . Association for Computing Machinery, 2013. p. 510-520 .

    Research output: Research - peer-reviewArticle in proceedings

  27. 2012
  28. Published

    Automated Detection of Client-State Manipulation Vulnerabilities. / Møller, Anders; Schwarz, Mathias.

    34th International Conference on Software Engineering (ICSE 2012) : Proceedings. ed. / Martin Glinz; Gall Murphy; Mauro Pezzè. IEEE Communications Society, 2012. p. 749 - 759 .

    Research output: Research - peer-reviewArticle in proceedings

  29. Published

    Improving Tools for JavaScript Programmers (Position Paper). / Andreasen, Esben; Feldthaus, Asger; Jensen, Simon Holm; Jensen, Casper S.; Jonsson, Peter A.; Madsen, Magnus; Møller, Anders.

    2012. Paper presented at International Workshop on Scripts to Programs, Beijing, China.

    Research output: Research - peer-reviewPaper

  30. Published

    Remedying the Eval that Men Do. / Jensen, Simon Holm; Jonsson, Peter A.; Møller, Anders.

    2012 International Symposium on Software Testing and Analysis (ISSTA) : Proceedings. ed. / Mats Heimdahl; Zhendong Su. Association for Computing Machinery, 2012. p. 34-44.

    Research output: Research - peer-reviewArticle in proceedings

  31. 2011
  32. Published

    A Framework for Automated Testing of JavaScript Web Applications. / Artzi, Shay; Dolby, Julian; Jensen, Simon Holm; Møller, Anders; Tip, Frank.

    Proceeding of the 33rd International Conference on Software Engineering. Association for Computing Machinery, 2011. p. 571-580.

    Research output: Research - peer-reviewArticle in proceedings

  33. Published

    HTML Validation of Context-Free Languages. / Møller, Anders; Schwarz, Mathias Romme.

    In: Lecture Notes in Computer Science, Vol. 6604, 2011, p. 426-440.

    Research output: Research - peer-reviewConference article

  34. Published

    Modeling the HTML DOM and Browser API in Static Analysis of JavaScript Web Applications. / Jensen, Simon Holm; Madsen, Magnus; Møller, Anders.

    Proceedings of the 19th ACM SIGSOFT Symposium and the 13th European Conference on Foundations of Software Engineering. ESEC/FSE '11 . Association for Computing Machinery, 2011. p. 59-69.

    Research output: Research - peer-reviewArticle in proceedings

  35. Published

    Refactoring towards the good parts of JavaScript. / Feldthaus, Asger; Millstein, Todd ; Møller, Anders; Schäfer, Max; Tip, Frank.

    2011. Poster session presented at SPLASH 2011, Portland, Oregon, United States.

    Research output: Research - peer-reviewPoster

  36. Published

    Tool-supported Refactoring for JavaScript. / Feldthaus, Asger; Millstein, Todd; Møller, Anders; Schäfer, Max; Tip, Frank.

    Proceedings of the 2011 ACM international conference on Object oriented programming systems languages and applications . Association for Computing Machinery, 2011. p. 119-138.

    Research output: Research - peer-reviewArticle in proceedings

  37. Published

    XML Graphs in Program Analysis. / Møller, Anders; Schwartzbach, Michael I.

    In: Science of Computer Programming, Vol. 76, No. 6, 2011, p. 492-515.

    Research output: Research - peer-reviewJournal article

  38. 2010
  39. Published

    Analyzing Ambiguity of Context-Free Grammars. / Brabrand, Claus; Giegerich, Robert; Møller, Anders.

    In: Science of Computer Programming, Vol. 75, No. 3, 2010, p. 176-191.

    Research output: Research - peer-reviewJournal article

  40. Published

    Interprocedural Analysis with Lazy Propagation. / Jensen, Simon Holm; Møller, Anders; Thiemann, Peter.

    In: Lecture Notes in Computer Science, Vol. 6337, 2010, p. 320-339.

    Research output: Research - peer-reviewConference article

  41. 2009
  42. Published

    JWIG: Yet Another Framework for Maintainable and Secure Web Applications. / Møller, Anders; Schwarz, Mathias Romme.

    WEBIST 2009 - Proceedings of the Fifth International Conference on Web Information Systems and Technologies. ed. / Joaquim Filipe; José Cordeiro. Institute for Systems and Technologies of Information, Control and Communication, 2009. p. 47-53.

    Research output: Research - peer-reviewArticle in proceedings

  43. Published

    The Big Manual for the Java String Analyzer : Latest release: version 2.1-1, November 30, 2009. / Feldthaus, Asger; Møller, Anders.

    Aarhus. 2009, Andet.

    Research output: ResearchOther contribution

  44. Published

    Type Analysis for JavaScript. / Jensen, Simon Holm; Møller, Anders; Thiemann, Peter.

    In: Lecture Notes in Computer Science, Vol. 5673, 2009, p. 238–255.

    Research output: Research - peer-reviewConference article

  45. 2008
  46. Published

    Dual Syntax for XML Languages. / Brabrand, Claus; Møller, Anders; Schwartzbach, Michael Ignatieff.

    In: Information Systems, Vol. 33, No. 4, 2008, p. 385-406.

    Research output: Research - peer-reviewJournal article

  47. Published

    Static Analysis for Event-Based XML Processing. / Møller, Anders.

    PLAN-X: Programming Language Technologies for XML: An ACM SIGPLAN Workshop colocated with POPL 2008. Universität Trier, 2008. p. 18-27.

    Research output: Research - peer-reviewArticle in proceedings

  48. 2007
  49. Published

    Analyzing Ambiguity of Context-Free Grammars. / Brabrand, Claus; Giegerich, Robert; Møller, Anders.

    Proc. 12th International Conference on Implementation and Application of Automata. 2007.

    Research output: Research - peer-reviewArticle in proceedings

  50. Published

    Static Validation of XSL Transformations. / Møller, Anders; Olesen, Mads Østerby; Schwartzbach, Michael Ignatieff.

    In: A C M Transactions on Programming Languages and Systems, Vol. 29, No. 4, 2007, p. Article 21.

    Research output: Research - peer-reviewJournal article

  51. Published

    XML Graphs in Program Analysis. / Møller, Anders; Schwartzbach, Michael Ignatieff.

    Proceedings of the ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation. ed. / Ganesan Ramalingam; Eelco Visser. Association for Computing Machinery, 2007. p. 1-10.

    Research output: ResearchArticle in proceedings

  52. 2006
  53. Published

    An Introduction to XML and Web Technologies. / Møller, Anders; Schwartzbach, Michael Ignatieff.

    Essex, UK : Addison-Wesley, 2006. 542 p.

    Research output: EducationBook

  54. Published

    Analyzing Ambiguity of Context-Free Grammars. / Brabrand, Claus; Giegerich, Robert; Møller, Anders.

    In: B R I C S Report Series, No. RS-06-09, 2006.

    Research output: ResearchJournal article

  55. Published

    Contracts for Cooperation between Web Service Programmers and HTML Designers. / Böttger, Henning; Møller, Anders; Schwartzbach, Michael I.

    In: Journal of Web Engineering, Vol. 5, No. 1, 2006, p. 65-90.

    Research output: Research - peer-reviewJournal article

  56. Published

    Static Analysis for Event-Based XML Processing. / Møller, Anders.

    In: B R I C S Report Series, No. RS-06-16, 2006.

    Research output: ResearchJournal article

  57. Published

    Static Analysis for Java Servlets and JSP. / Kirkegaard, Christian; Møller, Anders.

    Static Analysis: 13th International Symposium, SAS 2006, Seoul, Korea, August 29-31, 2006. Proceedings. ed. / Kwangkeun Yi. Springer, 2006. p. 336-352.

    Research output: Research - peer-reviewArticle in proceedings

  58. Published

    Type Checking with XML Schema in XACT. / Kirkegaard, Christian; Møller, Anders.

    2006. Paper presented at PLAN-X 2006: ACM SIGPLAN Workshop on Programming Language Technologies for XML, Charleston, SC, United States.

    Research output: Research - peer-reviewPaper

  59. 2005
  60. Published

    Dual Syntax for XML Languages. / Brabrand, Claus; Møller, Anders; Schwartzbach, Michael Ignatieff.

    Database Programming Languages: 10th International Workshop, DBPL 2005, Trondheim, Norway, August 28-29, 2005, Revised Selected Papers. Springer, 2005. p. 27-41.

    Research output: Research - peer-reviewArticle in proceedings

  61. Published

    The Design Space of Type Checkers for XML Transformation Languages. / Møller, Anders; Schwartzbach, Michael Ignatieff.

    Database Theory - ICDT 2005: 10th International Conference, Edinburgh, UK, January 5-7, 2005. Proceedings. Springer, 2005. p. 17-36.

    Research output: ResearchArticle in proceedings

  62. 2004
  63. Published

    A Runtime System for XML Transformations in Java. / Christensen, Aske Simon; Kirkegaard, Christian; Møller, Anders.

    Database and XML Technologies: Second International XML Database Symposium, XSym 2004, Toronto, Canada, August 29-30, 2004. Proceedings. ed. / Zohra Bellahsene; Tova Milo; Michael Rys; Dan Suciu; Rainer Unland. Springer, 2004. p. 143-157.

    Research output: Research - peer-reviewArticle in proceedings

  64. Published

    Static Analysis of XML Transformations in Java. / Kirkegaard, Christian; Møller, Anders; Schwartzbach, Michael I.

    In: I E E E Transactions on Software Engineering, Vol. 30, No. 3, 2004, p. 181-192.

    Research output: Research - peer-reviewJournal article

  65. 2003
  66. Published

    Extending Java for High-Level Web Service Construction. / Christensen, Aske Simon; Møller, Anders; Schwartzbach, Michael Ignatieff.

    In: A C M Transactions on Programming Languages and Systems, Vol. 25, No. 6, 2003, p. 814-875.

    Research output: Research - peer-reviewJournal article

  67. Published

    Precise Analysis of String Expressions. / Christensen, Aske Simon; Møller, Anders; Schwartzbach, Michael Ignatieff.

    Static Analysis: 10th International Symposium, SAS 2003 San Diego, CA, USA, June 11-13, 2003 Proceedings. Springer, 2003. p. 1-18.

    Research output: Research - peer-reviewArticle in proceedings

  68. 2002
  69. Published

    Document Structure Description 2.0. / Møller, Anders.

    In: B R I C S Notes Series, No. NS-02-7, 2002.

    Research output: ResearchJournal article

  70. Published

    Interactive Web Services with Java. / Møller, Anders; Schwartzbach, Michael Ignatieff.

    Department of Computer Science, Aarhus University, 2002. p. 1-100.

    Research output: ResearchWorking paper

  71. Published

    JWIG User Manual. / Christensen, Aske Simon; Møller, Anders.

    In: B R I C S Notes Series, No. NS-02-6, 2002.

    Research output: ResearchJournal article

  72. Published

    Language-Based Caching of Dynamically Generated HTML. / Brabrand, Claus; Møller, Anders; Olesen, Steffan; Schwartzbach, Michael Ignatieff.

    In: World Wide Web (New York), Vol. 5, No. 4, 2002, p. 305-323.

    Research output: Research - peer-reviewJournal article

  73. Published

    MONA Implementation Secrets. / Klarlund, Nils; Møller, Anders; Schwartzbach, Michael Ignatieff.

    In: International Journal of Foundations of Computer Science, Vol. 13, No. 4, 2002, p. 571-586.

    Research output: Research - peer-reviewJournal article

  74. Published

    Program Verification with Monadic Second-Order Logic & Languages for Web Service Development. / Møller, Anders.

    Århus : Datalogisk Institut, Aarhus Universitet, 2002.

    Research output: ResearchPh.D. thesis

  75. Published

    Static Analysis for Dynamic XML. / Christensen, Aske Simon; Møller, Anders; Schwartzbach, Michael Ignatieff.

    E-Proceeding of PLAN-X 2002. 2002.

    Research output: Research - peer-reviewArticle in proceedings

  76. Published

    The DSD Schema Language. / Klarlund, Nils; Møller, Anders; Schwartzbach, Michael Ignatieff.

    In: Automated Software Engineering, Vol. 9, No. 3, 2002, p. 285-319.

    Research output: Research - peer-reviewJournal article

  77. Published

    The <bigwig> Project. / Brabrand, Claus; Møller, Anders; Schwartzbach, Michael Ignatieff.

    In: A C M Transactions on Internet Technology, Vol. 2, No. 2, 2002, p. 79-114.

    Research output: Research - peer-reviewJournal article

  78. 2001
  79. Published

    MONA Implementation Secrets. / Klarlund, Nils; Møller, Anders; Schwartzbach, Michael Ignatieff.

    Implementation and Application of Automata: 5th International Conference, CIAA 2000 London, Ontario, Canada, July 24-25, 2000 Revised Papers. ed. / Sheng Yu; Andrei Paun. Springer, 2001. p. 182-194.

    Research output: Research - peer-reviewArticle in proceedings

  80. Published

    MONA Version 1.4 User Manual. / Klarlund, Nils; Møller, Anders.

    In: B R I C S Notes Series, No. NS-01-1, 2001.

    Research output: ResearchJournal article

  81. Published

    Static Validation of Dynamically Generated HTML. / Brabrand, Claus; Møller, Anders; Schwartzbach, Michael I.

    Proceedings of the 2001 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering. Association for Computing Machinery, 2001. p. 38-45.

    Research output: Research - peer-reviewArticle in proceedings

  82. Published

    The Pointer Assertion Logic Engine. / Møller, Anders; Schwartzbach, Michael Ignatieff.

    Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation. ed. / Mary Lou Sofia. Vol. 36(5) Association for Computing Machinery, 2001. p. 221-231.

    Research output: Research - peer-reviewArticle in proceedings

  83. Published

    The XML Revolution. / Møller, Anders; Schwartzbach, Michael Ignatieff.

    In: B R I C S Notes Series, No. NS-01-8, 2001.

    Research output: ResearchJournal article

  84. 2000
  85. Published

    Compile-Time Debugging of C Programs Working on Trees. / Elgaard, Jacob; Møller, Anders; Schwartzbach, Michael I.

    Programming Languages and Systems: 9th European Symposium on Programming, ESOP 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 – April 2, 2000 Proceedings. ed. / Gert Smolka. Springer, 2000. p. 119-134.

    Research output: Research - peer-reviewArticle in proceedings

  86. Published

    Document Structure Description 1.0. / Klarlund, Nils; Møller, Anders; Schwartzbach, Michael I.

    In: B R I C S Notes Series, No. NS-00-7, 2000.

    Research output: ResearchJournal article

  87. Published

    DSD: A Schema Language for XML. / Klarlund, Nils; Møller, Anders; Schwartzbach, Michael I.

    Proceedings of the third workshop on Formal methods in software practice. Association for Computing Machinery, 2000. p. 101-111.

    Research output: Research - peer-reviewArticle in proceedings

  88. Published

    PowerForms : Declarative Client-side Form Field Validation. / Brabrand, Claus; Møller, Anders; Ricky, Mikkel; Schwartzbach, Michael Ignatieff.

    In: World Wide Web (New York), Vol. 3, No. 4, 2000, p. 205-214.

    Research output: Research - peer-reviewJournal article

  89. 1999
  90. Published

    A Runtime System for Interactive Web Services. / Brabrand, Claus; Møller, Anders; Sandholm, Anders; Schwartzbach, Michael Ignatieff.

    In: Computer Networks, Vol. 31, No. 11-16, 1999, p. 1391-1401.

    Research output: Research - peer-reviewJournal article

  91. Published

    A Runtime System for Interactive Web Services. / Brabrand, Claus; Møller, Anders; Sandholm, Anders; Schwartzbach, Michael I.

    Proceedings of the 8th International World Wide Web Conference. Elsevier Science, 1999.

    Research output: Research - peer-reviewArticle in proceedings

  92. 1998
  93. Published

    MONA 1.x: New Techniques for WS1S and WS2S. / Elgaard, Jacob; Klarlund, Nils; Møller, Anders.

    Computer Aided Verification: 10th International Conference, CAV'98 Vancouver, BC, Canada, June 28 – July 2, 1998 Proceedings. ed. / Alan J. Hu; Moshe Y. Vardi. Springer, 1998. p. 516-520.

    Research output: Research - peer-reviewArticle in proceedings