A newcomer to a software project must typically come up-to-speed on a large, varied amount
of information about the project before becoming productive. Assimilating this information in …

Acceptance testing is a validation activity performed to ensure the conformance of software
systems with respect to their functional requirements. In safety critical systems, it plays a …

Assessment of the correctness of software models is a key issue to ensure the quality of the
final application. To this end, this paper presents an automatic method for the verification of …

The ever increasing expansion of mobile applications into nearly every aspect of modern
life, from banking to healthcare systems, is making their security more important than ever …

A direct path to dependable software Page 1 78 communicAtionS of the Acm | APriL 2009 | voL.
52 | no. 4 Doi:10.1145/1498765.1498787 Who could fault an approach that offers greater …

Due to the ever increasing complexity of embedded and cyber‐physical systems,
corresponding design solutions relying on modelling languages such as Unified Modelling …

Modeling languages such as the unified modeling language (UML) or the systems modeling
language (SysML) in combination with constraint languages such as the object constraint …

Memory models are hard to reason about due to their complexity, which stems from the need
to strike a balance between ease-of-programming and allowing compiler and hardware …

Existing automated testing frameworks require multiple observations to be jointly diagnosed
with the purpose of identifying common fault locations. This is the case for example with …

Relational logic is an attractive candidate for a software description language, because both
the design and implementation of software often involve reasoning about relational …