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)
— New memory mapped network interfaces offers both low latency and high bandwith communications. This has implications on the design and implementation of distributed operating systems, especially with respect to global management of resources. This paper presents Kaffemik, a scalable distributed Java Virtual Machine, providing the programmer with a single(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)
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 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)
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)
In this paper, we examine the current spectrum management process and propose modifications to accommodate new dynamic spectrum access (DSA) techniques. As a case study, we use the Joint Spectrum Center (JSC) Spectrum XXI system for current spectrum management process. Our proposed new technical framework examines the following key areas: DSA technology,(More)
The main motivation for distributed shared memory is to simplify the development of distributed applications. For these applications, the speciication and implementation of access control is an important issue. Developing a protection model and mechanism that combine expressiveness, simplicity and exibility is a diicult challenge. In this paper, we present(More)