ICSE
2012
IEEE-ACM
12 years 2 months ago
2012
IEEE-ACM
—Given limited resource and time before software release, development-site testing and debugging become more and more insufficient to ensure satisfactory software performance. As...
SIGMOD
2012
ACM
12 years 2 months ago
2012
ACM
We present BloomUnit, a testing framework for distributed programs written in the Bloom language. BloomUnit allows developers to write declarative test specifications that descri...
CSMR
2010
IEEE
13 years 7 months ago
2010
IEEE
In recent years, dynamic program execution traces have been utilized in an attempt to better understand the runtime behavior of various software systems. The unfortunate reality of...
CSMR
2010
IEEE
13 years 7 months ago
2010
IEEE
Abstract--Concept or feature identification, i.e., the identification of the source code fragments implementing a particular feature, is a crucial task during software understandin...
WCRE
2010
IEEE
13 years 10 months ago
2010
IEEE
—We present a semi-automated approach for the reverse engineering of UML sequence diagrams. Our approach starts with a set of execution traces that are automatically aligned in o...
SPIN
2010
Springer
13 years 10 months ago
2010
Springer
In this paper, we propose the nevertrace claim, which is a new construct for specifying the correctness properties that either finite or infinite execution traces (i.e., sequence...
PVLDB
2008
13 years 12 months ago
2008
This paper studies, for the first time, the management of type information for an important class of semi-structured data: nested DAGs (Directed Acyclic Graphs) that describe exec...
COOTS
1998
14 years 1 months ago
1998
Execution patterns are a new metaphor for visualizing execution traces of object-oriented programs. We present an execution pattern view that lets a programmer visualize and explo...
BPM
2008
Springer
14 years 2 months ago
2008
Springer
Complex and flexible business processes are critical not only because they are difficult to handle, but also because they often tend to loose their intelligibility. Verifying compl...
EDBT
2010
ACM
14 years 2 months ago
2010
ACM
Many enterprises nowadays use business processes, based on the BPEL standard, to achieve their goals. Analyzing the execution of such processes is critical for enforcing business ...