enter search term and/or author name
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
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
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
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
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
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...