Detecting Blocking Errors in Go Programs using Localized Abstract Interpretation. / Veileborg, Oskar Haarklou; Saioc, Georgian-Vlad; Møller, Anders.
ASE '22: Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering. New York: Association for Computing Machinery, 2023. s. 1-12 32.

Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

35th European Conference on Object-Oriented Programming, ECOOP 2021, July 11-17, 2021, Aarhus, Denmark (Virtual Conference). / Møller, Anders (Redaktør); Sridharan, Manu (Redaktør).
35th European Conference on Object-Oriented Programming (ECOOP 2021). red. / Anders Møller; Manu Sridharan. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 2021. s. vii-ix (Leibniz International Proceedings in Informatics, LIPIcs, Bind 194).

Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

Modular call graph construction for security scanning of Node.js applications. / Nielsen, Benjamin Barslev; Torp, Martin Toldam; Møller, Anders.
ISSTA 2021 - Proceedings of the 30th ACM SIGSOFT International Symposium on Software Testing and Analysis. red. / Cristian Cadar; Xiangyu Zhang. Association for Computing Machinery, 2021. s. 29-41 (Proceedings of the ACM SIGSOFT International Symposium on the Foundations of Software Engineering).

Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

Semantic Patches for Adaptation of JavaScript Programs to Evolving Libraries. / Nielsen, Benjamin Barslev; Torp, Martin Toldam; Møller, Anders.
2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE). IEEE, 2021. s. 74-85.

Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

Value Partitioning: A Lightweight Approach to Relational Static Analysis for JavaScript. / Nielsen, Benjamin Barslev; Møller, Anders.
Proc. 34th European Conference on Object-Oriented Programming (ECOOP). Dagstuhl Publishing, 2020. 16 (Leibniz International Proceedings in Informatics).

Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

NodeRacer: Event Race Detection for Node.js Applications. / Endo, Andre Takeshi; Møller, Anders.
2020 IEEE 13th International Conference on Software Testing, Verification and Validation, ICST 2020: Proceedings. Porto: Institute of Electrical and Electronics Engineers Inc., 2020. s. 120-130 9159075 (Proceedings - 2020 IEEE 13th International Conference on Software Testing, Verification and Validation, ICST 2020).

Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

Extracting Taint Specifications for JavaScript Libraries. / Staicu, Cristian Alexandru; Torp, Martin Toldam; Schafer, Max et al.
ICSE '20: Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering. New York: Association for Computing Machinery, 2020. s. 198-209 3380390 (Proceedings - International Conference on Software Engineering).

Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

Model-based testing of breaking changes in Node.js libraries. / Møller, Anders; Torp, Martin Toldam.
ESEC/FSE 2019 - Proceedings of the 2019 27th ACM Joint Meeting European Software Engineering Conference and Symposium on the Foundations of Software Engineering. red. / Sven Apel; Marlon Dumas; Alessandra Russo; Dietmar Pfahl. Association for Computing Machinery, 2019. s. 409-419 (ESEC/FSE 2019 - Proceedings of the 2019 27th ACM Joint Meeting European Software Engineering Conference and Symposium on the Foundations of Software Engineering).

Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

Practical AJAX Race Detection for JavaScript Web Applications. / Adamsen, Christoffer Quist; Møller, Anders; Alimadadi, Saba et al.
Proc. 12th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE). red. / Gary T. Leavens; Alessandro Garcia; Corina S. Păsăreanu. New York, NY, USA : Association for Computing Machinery, 2018. s. 38-48.

Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

Scalability-First Pointer Analysis with Self-Tuning Context-Sensitivity. / Li, Yue; Tan, Tian; Møller, Anders et al.
Proc. 12th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE). red. / Gary T. Leavens; Alessandro Garcia; Corina S. Păsăreanu. Association for Computing Machinery, 2018. s. 129-140.

Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

Type Regression Testing to Detect Breaking Changes in Node.js Libraries. / Mezzetti, Gianluca; Møller, Anders; Torp, Martin Toldam.
32nd European Conference on Object-Oriented Programming, ECOOP 2018. red. / Todd D. Millstein. Bind 109 Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, 2018. s. 7:1-7:24 7 (Leibniz International Proceedings in Informatics, Bind 109).

Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

ArtForm: A Tool for Exploring the Codebase of Form-based Websites. / Spencer, Ben; Benedikt, Michael; Møller, Anders et al.
ISSTA 2017 - Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis. red. / Koushik Sen; Tevfik Bultan. New York, NY, USA: Association for Computing Machinery, 2017. s. 380-383 (ISSTA 2017).

Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

Systematic Approaches for Increasing Soundness and Precision of Static Analyzers. / Andreasen, Esben Sparre; Møller, Anders; Nielsen, Benjamin Barslev.
Proceedings of the 6th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis. red. / Karim Ali ; Cristina Cifuentes . New York, NY, USA: Association for Computing Machinery, 2017. s. 31-36 (SOAP 2017).

Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

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. Bind Part F128414 Association for Computing Machinery, 2017. s. 171-184.

Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

Repairing Event Race Errors by Controlling Nondeterminism. / Adamsen, Christoffer Quist; Møller, Anders; Karim, Rezwana et al.
Proceedings of the 39th International Conference on Software Engineering. Piscataway, NJ, USA: IEEE Press, 2017. s. 289-299 (ICSE '17).

Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

Inference and Evolution of TypeScript Declaration Files. / Kristensen, Erik Krogh; Møller, Anders.
Fundamental Approaches to Software Engineering: : 20th International Conference, FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings. red. / Marieke Huisman; Julia Rubin. Bind 10202 Berlin, Heidelberg: Springer VS, 2017. s. 99-115 (Lecture Notes in Computer Science, Bind 10202).

Publikation: Bidrag til bog/antologi/rapport/proceeding › Bidrag til bog/antologi › Forskning › peer review

Type safety analysis for dart. / Heinze, Thomas S.; Møller, Anders; Strocco, Fabio.
DLS 2016 - Proceedings of the 12th Symposium on Dynamic Languages. red. / Roberto Ierusalimschy. Association for Computing Machinery, 2016. s. 1-12.

Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

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. red. / Roberto Ierusalimschy. Association for Computing Machinery, 2016. s. 13-24.

Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

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. s. 142-153.

Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

Feedback-directed instrumentation for deployed JavaScript applications. / Madsen, Magnus; Tip, Frank; Andreasen, Esben Sparre et al.
Proceedings of the 38th International Conference on Software Engineering : ICSE 2016. New York, NY, USA: Association for Computing Machinery, 2016. s. 899-910.

Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

Message Safety in Dart. / Ernst, Erik; Schwarz, Mathias Romme; Strocco, Fabio et al.
Dynamic Languages Symposium 2015, DLS . 2015.

Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

QuickChecking Static Analysis Properties. / Midtgaard, Jan; Møller, Anders.
8th IEEE International Conference on Software Testing, Verification and Validation (ICST), 2015. IEEE, 2015. s. 1-10.

Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

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.

Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

Stateless Model Checking of Event-Driven Applications. / Jensen, Casper Svenning; Møller, Anders; Raychev, Veselin et al.
OOPSLA 2015 : Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications . Association for Computing Machinery, 2015. s. 57-73 (ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages and Applications).

Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

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. s. 83-93 .

Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

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.

Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

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. red. / Andrew Black; Todd Millstein. Association for Computing Machinery, 2014. s. 17-31 .

Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

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. red. / Markus Müller-Olm ; Helmut Seidl. Springer VS, 2014. s. 201-218 (Lecture Notes in Computer Science, Bind 8723).

Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

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. red. / Mauro Pezzè; Mark Harman. Association for Computing Machinery, 2013. s. 67-77.

Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

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 . red. / Bertrand Meyer; Luciano Baresi; Mira Mezini . Association for Computing Machinery, 2013. s. 510-520 .

Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

Automated Detection of Client-State Manipulation Vulnerabilities. / Møller, Anders; Schwarz, Mathias.
34th International Conference on Software Engineering (ICSE 2012) : Proceedings. red. / Martin Glinz; Gall Murphy; Mauro Pezzè. IEEE Communications Society, 2012. s. 749 - 759 .

Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

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. red. / Mats Heimdahl; Zhendong Su. Association for Computing Machinery, 2012. s. 34-44.

Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

A Framework for Automated Testing of JavaScript Web Applications. / Artzi, Shay; Dolby, Julian; Jensen, Simon Holm et al.
Proceeding of the 33rd International Conference on Software Engineering. Association for Computing Machinery, 2011. s. 571-580.

Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

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. s. 59-69.

Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

Tool-supported Refactoring for JavaScript. / Feldthaus, Asger; Millstein, Todd; Møller, Anders et al.
Proceedings of the 2011 ACM international conference on Object oriented programming systems languages and applications . Association for Computing Machinery, 2011. s. 119-138.

Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

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. red. / Joaquim Filipe; José Cordeiro. Institute for Systems and Technologies of Information, Control and Communication, 2009. s. 47-53.

Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

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. s. 18-27.

Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

Analyzing Ambiguity of Context-Free Grammars. / Brabrand, Claus; Giegerich, Robert; Møller, Anders.
Proc. 12th International Conference on Implementation and Application of Automata. 2007.

Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

XML Graphs in Program Analysis. / Møller, Anders; Schwartzbach, Michael Ignatieff.
Proceedings of the ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation. red. / Ganesan Ramalingam; Eelco Visser. Association for Computing Machinery, 2007. s. 1-10.

Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning

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. red. / Kwangkeun Yi. Springer, 2006. s. 336-352 (Lecture Notes in Computer Science, Bind 4134).

Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

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. s. 27-41 (Lecture Notes in Computer Science, Bind 3774).

Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

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. s. 17-36 (Lecture Notes in Computer Science, Bind 3363).

Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning

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. red. / Zohra Bellahsene; Tova Milo; Michael Rys; Dan Suciu; Rainer Unland. Springer, 2004. s. 143-157 (Lecture Notes in Computer Science, Bind 3186).

Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

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. s. 1-18 (Lecture Notes in Computer Science, Bind 2694).

Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

Static Analysis for Dynamic XML. / Christensen, Aske Simon; Møller, Anders; Schwartzbach, Michael Ignatieff.
E-Proceeding of PLAN-X 2002. 2002.

Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

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. red. / Sheng Yu; Andrei Paun. Springer, 2001. s. 182-194 (Lecture Notes in Computer Science, Bind 2088).

Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

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. s. 38-45.

Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

The Pointer Assertion Logic Engine. / Møller, Anders; Schwartzbach, Michael Ignatieff.
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation. red. / Mary Lou Sofia. Bind 36(5) Association for Computing Machinery, 2001. s. 221-231.

Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

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. red. / Gert Smolka. Springer, 2000. s. 119-134 (Lecture Notes in Computer Science, Bind 1782).

Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

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. s. 101-111.

Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

A Runtime System for Interactive Web Services. / Brabrand, Claus; Møller, Anders; Sandholm, Anders et al.
Proceedings of the 8th International World Wide Web Conference. Elsevier, 1999.

Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

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. red. / Alan J. Hu; Moshe Y. Vardi. Springer, 1998. s. 516-520 (Lecture Notes in Computer Science, Bind 1427).

Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review