1246 search results - page 86 / 250 » Online testing with model programs |
OOPSLA
2007
Springer
15 years 7 months ago
2007
Springer
Calling context enhances program understanding and dynamic analyses by providing a rich representation of program location. Compared to imperative programs, objectoriented program...
179
click to vote
HPDC
2008
IEEE
15 years 7 months ago
2008
IEEE
The emergence of heterogeneous many core architectures presents a unique opportunity for delivering order of magnitude performance increases to high performance applications by ma...
113
click to vote
ISSRE
2006
IEEE
15 years 6 months ago
2006
IEEE
Forward computation of dynamic slices is necessary to support interactive debugging and online analysis of long running programs. However, the overhead of existing forward computi...
102
Voted
ISORC
2007
IEEE
15 years 7 months ago
2007
IEEE
This paper describes an extension to the componentbased programming model to support real-time dynamic guarantee for distributed applications. The extended model aims to include a...
83
Voted
ISSTA
2006
ACM
15 years 6 months ago
2006
ACM
A noise maker is a tool that seeds a concurrent program with conditional synchronization primitives (such as yield()) for the purpose of increasing the likelihood that a bug manif...