Precise Analysis of String Expressions
- Aske Simon Christensen, Anders Møller, M. Schwartzbach
- Computer ScienceSensors Applications Symposium
- 6 January 2003
We perform static analysis of Java programs to answer a simple question: which values may occur as results of string expressions? The answers are summarized for each expression by a regular language…
Type Analysis for JavaScript
- S. Jensen, Anders Møller, Peter Thiemann
- Computer ScienceSensors Applications Symposium
- 12 August 2009
A static program analysis infrastructure that can infer detailed and sound type information for JavaScript programs using abstract interpretation is presented, designed to support the full language as defined in the ECMAScript standard, including its peculiar object model and all built-in functions.
The pointer assertion logic engine
- Anders Møller, M. Schwartzbach
- Computer ScienceACM-SIGPLAN Symposium on Programming Language…
- 9 June 2000
A new framework for verifying partial specifications of programs in order to catch type and memory errors and check data structure invariants and can verify a large class of data structures, namely all those that can be expressed as graph types.
MONA Version 1.4 - User Manual
- Nils Klarlund, Anders Møller
- Computer Science
- 2001
A framework for automated testing of javascript web applications
- Shay Artzi, Julian T Dolby, S. Jensen, Anders Møller, F. Tip
- Computer ScienceInternational Conference on Software Engineering
- 21 May 2011
A framework for feedback-directed automated test generation for JavaScript in which execution is monitored to collect information that directs the test generator towards inputs that yield increased coverage is presented.
Systematic execution of Android test suites in adverse conditions
- Christoffer Quist Adamsen, Gianluca Mezzetti, Anders Møller
- Computer ScienceInternational Symposium on Software Testing and…
- 13 July 2015
This work proposes a new methodology for testing by leveraging existing test suites such that each test case is systematically exposed to adverse conditions where certain unexpected events may interfere with the execution.
Modeling the HTML DOM and browser API in static analysis of JavaScript web applications
- S. Jensen, Magnus Madsen, Anders Møller
- Computer ScienceESEC/FSE '11
- 5 September 2011
This paper presents the first static analysis that is capable of reasoning about the flow of control and data in modern JavaScript applications that interact with the HTML DOM and browser API, and studies the usefulness of the analysis to detect spelling errors in the code.
Determinacy in static analysis for jQuery
- Esben Andreasen, Anders Møller
- Computer ScienceConference on Object-Oriented Programming Systems…
- 15 October 2014
This work presents a static dataflow analysis for JavaScript that infers and exploits determinacy information on-the-fly, to enable analysis of some of the most complex parts of jQuery.
MONA 1.x: New Techniques for WS1S and WS2S
- Jacob Elgaard, Nils Klarlund, Anders Møller
- Computer ScienceInternational Conference on Computer Aided…
- 28 June 1998
This note presents some of the techniques, which make calculations couched in WS1S run up to five times faster than with the authors' pre-release tool based on M2L(Str), suggesting thatWS1S—with its better semantic properties—is preferable to M2 L(Str).
Dual syntax for XML languages
- Claus Brabrand, Anders Møller, M. Schwartzbach
- Computer Science, LinguisticsInformation Systems
- 28 August 2005
...
...