617 search results - page 59 / 124 » Debugging distributed programs using controlled re-execution |
100
click to vote
DSOM
2004
Springer
15 years 6 months ago
2004
Springer
Autonomic distributed management enables for deploying self-directed monitoring and control tasks that track dynamic network problems such as performance degradation and security t...
120
click to vote
SIGSOFT
2004
ACM
16 years 1 months ago
2004
ACM
Five modern static analysis tools (ARCHER, BOON, PolySpace C Verifier, Splint, and UNO) were evaluated using source code examples containing 14 exploitable buffer overflow vulnera...
118
click to vote
ISSTA
2006
ACM
15 years 7 months ago
2006
ACM
The popularity of object-oriented programming has led to the wide use of container libraries. It is important for the reliability of these containers that they are tested adequate...
101
click to vote
SIGSOFT
2007
ACM
16 years 1 months ago
2007
ACM
The systematic exploration of the space of all the behaviours of a software system forms the basis of numerous approaches to verification. However, existing approaches face many c...
ISSTA
2006
ACM
15 years 7 months ago
2006
ACM
This paper presents a specification-based testing approach that compares software specifications defined at different f abstraction, e.g. architecture and implementation, agai...