SIGSOFT

Agile software development has become well known to the community and is nowadays frequently used for the development of different kinds of software systems. Agile methods are widely spread and often adapted to the context-specific needs. The ...

The i* Framework, facilitating goal-oriented information systems modeling, has received much attention in research since its introduction. As the i* and related frameworks (e.g., GRL and Tropos) have been in existence for more than 20 years, researchers ...

Cyber-Physical Systems (CPS) are large interconnected softwareintensive systems that influence, by sensing and actuating, the physical world. Examples are traffic management and power grids. One of the trends we observe is the need to endow such systems ...

Software ecosystems (SECOs) are gaining importance in and have been applied to different application domains. In this paper we focus on the needs for SECOs for the life science application domains. Similar to other domains the life science application ...

What is the importance of automated test data generation? This question is of concern for the entire software community. We want to know the meaning and usefulness of automated test data generation. Is it related to design of test cases or execution of ...

Two mechanisms widely used in the Software Product Lines (SPL) Engineering are the feature model and the conditional compilation. The former models the variability in the problem space and the latter realizes it in the solution space. Even though the ...

Context: Systematic mapping reviews are now common in software engineering. However, if there are rigorous guidelines for systematic literature reviews in software engineering, the same is not true for mapping reviews. Objective: Develop a set of ...

Software applications are developed to be executed in a specific environment. This environment includes external/ native libraries to add functionality to the application and drivers to fire the application execution. For testing and verification, the ...

Annotating functional correctness properties of code using assertions, in principle, enables systematic checking of code against behavioral properties. In practice however, checking assertions can be costly, especially for complex code annotated with ...

Dynamic program analysis is widely used for detecting faults in software systems. Dynamic analysis tools conceptually either use a modified execution environment or inject instrumentation code into the system under test (SUT). Tools based on a modified ...

This paper presents a symbolic-execution-based approach and its implementation by POM/JLEC for checking the logical equivalence between two programs in the system replacement context. The primary contributions lie in the development of POM/JLEC, a fully ...

The Habanero Java (HJ) programming model is designed to provide several correctness guarantees such as deadlock freedom and determinism in the absence of data races. Model checking tools like Java Pathfinder (JPF) can be used to detect data races in HJ ...