516 search results - page 73 / 104 » Execution replay and debugging |
ICSE
2008
IEEE-ACM
14 years 9 months ago
2008
IEEE-ACM
We present a novel technique that speeds up state-space exploration (SSE) for evolving programs with dynamically allocated data. SSE is the essence of explicit-state model checkin...
ICSE
2008
IEEE-ACM
14 years 9 months ago
2008
IEEE-ACM
Fault-localization techniques that utilize information about all test cases in a test suite have been presented. These techniques use various approaches to identify the likely fau...
SIGSOFT
2007
ACM
14 years 9 months ago
2007
ACM
Software testing is extensively used for uncovering bugs in large, complex software. Testing relies on well designed regression test suites that anticipate all reasonable software...
SIGSOFT
2005
ACM
14 years 9 months ago
2005
ACM
Performance profiling consists of monitoring a software system during execution and then analyzing the obtained data. There are two ways to collect profiling data: event tracing t...
SIGSOFT
2005
ACM
14 years 9 months ago
2005
ACM
We present Arithmetic Program Paths, a novel, efficient way to compress program control-flow traces that reduces program bit traces to less than a fifth of their original size whi...