Software Engineering and Methodology (TOSEM)


Search Issue
enter search term and/or author name


ACM Transactions on Software Engineering and Methodology (TOSEM), Volume 23 Issue 3, May 2014

Generating Test Cases for Programs that Are Coded against Interfaces and Annotations
Mainul Islam, Christoph Csallner
Article No.: 21
DOI: 10.1145/2544135

Automatic test case generation for software programs is very powerful but suffers from a key limitation. That is, most current test case generation techniques fail to cover testee code when covering that code requires additional pieces of code not...

A Methodology for Exposing Risk in Achieving Emergent System Properties
Lucas Layman, Victor R. Basili, Marvin V. Zelkowitz
Article No.: 22
DOI: 10.1145/2560048

Determining whether systems achieve desired emergent properties, such as safety or reliability, requires an analysis of the system as a whole, often in later development stages when changes are difficult and costly to implement. In this article we...

Scalable Runtime Bloat Detection Using Abstract Dynamic Slicing
Guoqing Xu, Nick Mitchell, Matthew Arnold, Atanas Rountev, Edith Schonberg, Gary Sevitsky
Article No.: 23
DOI: 10.1145/2560047

Many large-scale Java applications suffer from runtime bloat. They execute large volumes of methods and create many temporary objects, all to execute relatively simple operations. There are large opportunities for performance optimizations in...

GreASE: A Tool for Efficient “Nonequivalence” Checking
Nicoletta de Francesco, Giuseppe Lettieri, Antonella Santone, Gigliola Vaglini
Article No.: 24
DOI: 10.1145/2560563

Equivalence checking plays a crucial role in formal verification to ensure the correctness of concurrent systems. However, this method cannot be scaled as easily with the increasing complexity of systems due to the state explosion problem. This...

Architecture-Level Configuration of Large-Scale Embedded Software Systems
Razieh Behjati, Shiva Nejati, Lionel C. Briand
Article No.: 25
DOI: 10.1145/2581376

Configuration in the domain of Integrated Control Systems (ICS) is largely manual, laborious, and error prone. In this article, we propose a model-based configuration approach that provides automation support for reducing configuration effort and...

Solving the Search for Source Code
Kathryn T. Stolee, Sebastian Elbaum, Daniel Dobos
Article No.: 26
DOI: 10.1145/2581377

Programmers frequently search for source code to reuse using keyword searches. The search effectiveness in facilitating reuse, however, depends on the programmer's ability to specify a query that captures how the desired code may have been...