Software Engineering and Methodology (TOSEM)


Search Issue
enter search term and/or author name


ACM Transactions on Software Engineering and Methodology (TOSEM), Volume 20 Issue 4, September 2011

Runtime Verification for LTL and TLTL
Andreas Bauer, Martin Leucker, Christian Schallhart
Article No.: 14
DOI: 10.1145/2000799.2000800

This article studies runtime verification of properties expressed either in lineartime temporal logic (LTL) or timed lineartime temporal logic (TLTL). It classifies runtime verification in identifying its distinguishing features to model checking...

The Minimal Failure-Causing Schema of Combinatorial Testing
Changhai Nie, Hareton Leung
Article No.: 15
DOI: 10.1145/2000799.2000801

Combinatorial Testing (CT) involves the design of a small test suite to cover the parameter value combinations so as to detect failures triggered by the interactions among these parameters. To make full use of CT and to extend its advantages, this...

Discovering Multidimensional Correlations among Regulatory Requirements to Understand Risk
R. A. Gandhi, S. W. Lee
Article No.: 16
DOI: 10.1145/2000799.2000802

Security breaches most often occur due to a cascading effect of failure among security constraints that collectively contribute to overall secure system behavior in a socio-technical environment. Therefore, during security certification...

Gaia-PL: A Product Line Engineering Approach for Efficiently Designing Multiagent Systems
Josh Dehlinger, Robyn R. Lutz
Article No.: 17
DOI: 10.1145/2000799.2000803

Agent-oriented software engineering (AOSE) has provided powerful and natural, high-level abstractions in which software developers can understand, model and develop complex, distributed systems. Yet, the realization of AOSE partially depends on...

A Compiler for Multimodal Scenarios: Transforming LSCs into AspectJ
Shahar Maoz, David Harel, Asaf Kleinbort
Article No.: 18
DOI: 10.1145/2000799.2000804

We exploit the main similarity between the aspect-oriented programming paradigm and the inter-object, scenario-based approach to specification, in order to construct a new way of executing systems based on the latter. Specifically, we transform...

Recommending Adaptive Changes for Framework Evolution
Barthélémy Dagenais, Martin P. Robillard
Article No.: 19
DOI: 10.1145/2000799.2000805

In the course of a framework’s evolution, changes ranging from a simple refactoring to a complete rearchitecture can break client programs. Finding suitable replacements for framework elements that were accessed by a client program and...