enter search term and/or author name
Generating Test Cases for Programs that Are Coded against Interfaces and Annotations
Mainul Islam, Christoph Csallner
Article No.: 21
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
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...
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
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
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...
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...