119 search results - page 20 / 24 » Predicate Control for Active Debugging of Distributed Progra... |
ASPLOS
2010
ACM
14 years 2 months ago
2010
ACM
Computer systems often fail due to many factors such as software bugs or administrator errors. Diagnosing such production run failures is an important but challenging task since i...
ISORC
2002
IEEE
14 years 10 days ago
2002
IEEE
Object-oriented, concurrent, and event-based programming models provide a natural framework in which to express the behavior of distributed and embedded software systems. However,...
ISSTA
2004
ACM
14 years 25 days ago
2004
ACM
Evolutionary testing is an effective technique for automatically generating good quality test data. However, for structural testing, the technique degenerates to random testing i...
SFM
2005
Springer
14 years 27 days ago
2005
Springer
Hermes is a middleware system for design and execution of activity-based applications in distributed environments. It supports mobile computation as an application implementation s...
ISSTA
2004
ACM
14 years 25 days ago
2004
ACM
This paper deals with testing of nondeterministic software systems. We assume that a model of the nondeterministic system is given by a directed graph with two kind of vertices: s...