Searching for authors named "Manos Renieris" – sorted by Relevance.
-
The BLOOM Software Visualization System
- BLOOM is a system for doing software understanding through visualization. Software understanding involves asking specific questions about the structure and behavior of a software system and getting accurate answers quickly. BLOOM addresses software understanding by providing a complete system that c
- Cited by 4 (0 self) – Add To MetaCart
-
Generating Java Trace Data
- We describe a system for gathering and analyzing Java trace data. The system provides relatively complete data collection from large Java systems. It also provides a variety of different analyses of that data for use with a software visualization system.
- Cited by 11 (0 self) – Add To MetaCart
-
Languages for dynamic instrumentation
- Dynamic instrumentation has proven to be a valuable technique for a variety of different program analyses. However, developing a new analysis based on dynamic instrumentation is difficult, error prone, and time-consuming. One obvious solution is to develop a common framework that would enable quick
- Cited by 4 (0 self) – Add To MetaCart
-
Almost: Exploring Program Traces
- We built a tool to visualize and explore program execution traces. Our goal was to help programmers without any prior knowledge of a program, quickly get enough knowledge about its structure so that they can make small to medium changes. In the process, a number of problems were faced and tackle
- Cited by 10 (0 self) – Add To MetaCart
-
Encoding Program Executions
- Dynamic analysis is based on collecting data as the program runs. However, raw traces tend to be too voluminous and too unstructured to be used directly for visualization and understanding. We address this problem in two phases: the first phase selects subsets of the data and then compacts it, while
- Cited by 57 (1 self) – Add To MetaCart
-
Fault Localization with Nearest Neighbor Queries
- We present a method for performing fault localization using similar program spectra. Our method assumes the existence of a faulty run and a larger number of correct runs. It then selects according to a distance criterion the correct run that most resembles the faulty run, compares the spectra corres
- Cited by 53 (1 self) – Add To MetaCart
-
Elided Conditionals
- Many software testing and automated debugging tools rely on structural coverage techniques. Such tools implicitly assume a relation between individual control-flow choices made in conditional statements during a program run and the outcome of the run. In this paper, we develop the notion of elided c
- Add To MetaCart
-
Automated Fault Localization Using Potential Invariants
- We present a general method for fault localization based on abstracting over program traces, and a tool that implements the method using Ernst's notion of potential invariants. Our experiments so far have been unsatisfactory, suggesting that further research is needed before invariants can be used t
- Cited by 30 (1 self) – Add To MetaCart

