Casper S. Jensen

Improve Translation to Constraint Solver

1

Improve the general task of translating symbolic constraints to our constraint solving backend. We currently focus increasing the number of constraints generated by the JavaScript runtime (build-in libraries and procedures)...

Combine trace output with the code coverage report

2

Create one single HTML report with code coverage, trace output, and links associating the two with each other. The trace output should either provide links to the code they refer...

Build the infrastructure to express the identity of JavaScript functions, and use this to exclude certain functions from being handled in the PathTracer (or to flatten all calls made within...

Support for running system tests without benchmarks and a database

2

(1) We need to decide if we want non-pure HTML/JS benchmarks in our system tests. Supporting PHP benchmarks by using the `php` command is okay, as it still renders our...

Right now, we are listening for a page load event fired by QT. However, it is not specified when this event occurs - is it before or after additional scripts...

Crawling of multiple pages

1

Right now, Artemis only supports testing a single page. In the Artemis paper, links and location changes were used to expand the search to multiple pages, as it explored additional...

Allow Artemis to run in a headless mode, that is in a terminal. PhantomJS solved this problem: http://code.google.com/p/phantomjs/issues/detail?id=163 https://github.com/ariya/phantomjs/pull/173 https://github.com/ariya/phantomjs/commit/6c8a1c2dc1