Bugs in multi-threaded programs often arise due to data races. Numerous static and dynamic program analysis techniques have been proposed to detect data races. We propose a novel randomized dynamic analysis technique that utilizes potential data race ...

We describe a system that allows the user to rapidly construct program visualizations over a variety of data sources. Such a system is a necessary foundation for using visualization as an aid to software understanding. The system supports an arbitrary ...

Many systematic methods help to produce a comprehensive repository of test cases that contain no redundancy from the specification point of view. When the repository cannot be tested in its entirety owing to resource constraints, there is a need to select ...

Understanding the architecture of a program requires determining both the major components into which the system is broken and the ways in which the components interact to accomplish the program's goals. Both static and dynamic analyses of the software ...

Program slicing is a potentially useful analysis for aiding program understanding. However, slices of even small programs are often too large to be generally useful. Imprecise pointer analyses have been suggested as one cause of this problem. In this ...

The paper is concerned with dynamic problems of the linear theory of elasticity for anisotropic porous materials according to the Cowin-Nunziato model. In order to take into account the structural damping in elastic media, a new attenuation model which ...

The relevance and pervasiveness of web applications asa vital part of modern enterprise systems has significantlyincreased in recent years. However, the lack of adequatedocumentation promotes the need for reverse engineeringtools aiming at supporting ...

Static views of object-oriented source code as presented in adevelopment environment (IDE) do not provide explicitrepresentations of dynamic collaboration to describe how sourceartifacts communicate at runtime.  Direct access within an IDE toexplicit ...

Different methods are available for dynamic analysis of concrete dams. Among these, modal approach is highly popular due to the efficiency of the method. This becomes more significant if the response is to be calculated for several earthquake ground ...

TinyOS is an effective platform for developing lightweight embedded network applications. But the platform's lean programming model and power-efficient operation come at a price: TinyOS applications are notoriously difficult to construct, debug, and ...

The paper presents a method of Finite Element (FE) modelling of a table top steam turbine support structure on piles for the purpose of dynamic analysis. The modelling accommodates machine-structure and soil-structure interaction. The soil stiffness ...

Dynamic analysis helps to extract important information about software systems useful in testing, debugging and maintenance activities. Popular dynamic analysis techniques synthesize either information on the values of the variables or information on ...

Developers rely on the mechanisms provided by their IDE to browse and navigate a large software system. These mechanisms are usually based purely on a system's static source code. The static perspective, however, is not enough to understand an object-oriented ...

Understanding the behavior of a system is a central reverse engineering task, and is crucial for being able to modify, maintain, and improve the system. An often difficult aspect of some system behaviors is concurrency, in particular identifying those ...

Dynamic Green's functions are essential for modelling acoustic emission (AE) wave propagation and for the quantitative characterisation of AE sources. In this work, a method for evaluating the Green's function of a body using the finite element method ...

This paper presents EXE, an effective bug-finding tool that automatically generates inputs that crash real code. Instead of running code on manually or randomly constructed input, EXE runs it on symbolic input initially allowed to be "anything." As checked ...

System evolution depends greatly on the ability of a maintainer to locate source code that is specific to feature implementation. Existing feature location techniques require either exercising several features of the system, or rely heavily on domain ...

An important part of many software maintenance tasks is to gain a sufficient level of understanding of the system at hand. The use of dynamic information to aid in this software understanding process is a common practice nowadays. A major issue in this ...

Modern applications are typically complex, multithreaded, distributed, and often should provide real-time responses and small-footprint. Due to such characteristics, most often, it is hard to understand the behavior of such systems and consequently detect ...