280 search results - page 8 / 56 » Dynamic Query-Based Debugging |
ICSE
2008
IEEE-ACM
14 years 8 months ago
2008
IEEE-ACM
When software developers want to understand the reason for a program's behavior, they must translate their questions about the behavior into a series of questions about code,...
VEE
2010
ACM
14 years 2 months ago
2010
ACM
Not all operating systems are created equal. Contrasting traditional monolithic kernels, there is a class of systems called microkernels more prevalent in embedded systems like ce...
SIGSOFT
2000
ACM
14 years 8 days ago
2000
ACM
We describe an extension to the Java programming language that supports static conformance checking and dynamic debugging of object "protocols," i.e., sequencing constra...
IPPS
2003
IEEE
14 years 1 months ago
2003
IEEE
SBT is portable library and tool for on-line debugging and performance monitoring of shared-memory parallel programs using the single-program-multiple-data (SPMD) model of paralle...
CSMR
2010
IEEE
13 years 2 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...