Casper Svenning Jensen

Learn More
Automated software testing aims to detect errors by producing test inputs that cover as much of the application source code as possible. Applications for mobile devices are typically event-driven, which raises the challenge of automatically producing event sequences that result in high coverage. Some existing approaches use random or model-based testing(More)
We present a novel tool for statically determining the Worst Case Execution Time (WCET) of Java Bytecode-based programs called <i>Tool for Execution Time Analysis of Java bytecode</i> (TetaJ). This tool differentiates itself from existing tools by separating the individual constituents of the execution environment into independent components. The prime(More)
Modern event-driven applications, such as, web pages and mobile apps, rely on asynchrony to ensure smooth end-user experience. Unfortunately, even though these applications are executed by a single event-loop thread, they can still exhibit nondeterministic behaviors depending on the execution order of interfering asynchronous events. As in classic(More)
We present a rationale for a selection of tools that assist developers of hard real-time applications to verify that programs conform to a Java real-time profile and that platform-specific resource constraints are satisfied. These tools are specialised instances of more generic static analysis and model checking frameworks. The concepts are illustrated by(More)
Automated testing of JavaScript web applications is complicated by the communication with servers. Specifically, it is difficult to test the JavaScript code in isolation from the server code and database contents. We present a practical solution to this problem. First, we demonstrate that formal server interface descriptions are useful in automated testing(More)
We present an overview of three research projects that all aim to provide better tools for JavaScript web application programmers 1 : TAJS, which infers static type information for JavaScript applications using dataflow analysis; JSRefac-tor, which enables sound code refactorings; and Artemis, which provides high-coverage automated testing. JavaScript(More)
  • 1