It is becoming increasingly important for applications to protect sensitive data. With current
techniques, the programmer bears the burden of ensuring that the application's behavior …

This study explores the introduction of agile software development within an avionics
company engaged in safety-critical system engineering. There is increasing pressure …

Approximate program transformations such as skipping tasks [29, 30], loop perforation [21,
22, 35], reduction sampling [38], multiple selectable implementations [3, 4, 16, 38], dynamic …

We describe a new approach to employing specifications for software reliability. Rather than
only using specifications to validate implementations, we additionally employ specifications …

We present a unified environment for running declarative specifications in the context of an
imperative object-Oriented programming language. Specifications are Alloy-like, written in …

Architectural tactics enable stakeholders to achieve cyber-resilience requirements. They
permit systems to react, resist, detect, and recover from cyber incidents. This paper presents …

A study exploring the focus on usability in testing practices in software development teams in
Iceland using the agile software process Scrum is described in this paper. A survey was …

We present Deuterium---a framework for implementing Java methods as executable
contracts. Deuterium introduces a novel, type-safe way to write method contracts entirely in …

Test-driven methodologies encourage testing early and often." Mock objects" support this
approach by allowing a component to be tested before all depended-upon components are …

This thesis presents a new light-weight specification language called JForge Specification
Language (JFSL) for object-oriented languages such as Java. The language is amenable to …