Concurrency control and recovery in database systems
Concurrency control and recovery in database systems
Debugging Parallel Programs with Instant Replay
IEEE Transactions on Computers
A protocol test generation procedure
Computer Networks and ISDN Systems
Global events and global breakpoints in distributed systems
Proceedings of the Twenty-First Annual Hawaii International Conference on Software Track
Design and test of distributed applications
ICSE '88 Proceedings of the 10th international conference on Software engineering
Software engineering for distributed applications: the design project
ICSE '88 Proceedings of the 10th international conference on Software engineering
Protocol validation in complex systems
SIGCOMM '89 Symposium proceedings on Communications architectures & protocols
An optimization technique for protocol conformance testing using multiple UIO sequences
Information Processing Letters
Debugging Concurrent Ada Programs by Deterministic Execution
IEEE Transactions on Software Engineering
Consistent detection of global predicates
PADD '91 Proceedings of the 1991 ACM/ONR workshop on Parallel and distributed debugging
Structural Testing of Concurrent Programs
IEEE Transactions on Software Engineering
An efficient implementation of vector clocks
Information Processing Letters
Global conditions in debugging distributed programs
Journal of Parallel and Distributed Computing
On finding and updating shortest paths distributively
Journal of Algorithms
Distributed snapshots: determining global states of distributed systems
ACM Transactions on Computer Systems (TOCS)
Time, clocks, and the ordering of events in a distributed system
Communications of the ACM
A Dynamic Information-Structure Mutual Exclusion Algorithm for Distributed Systems
IEEE Transactions on Parallel and Distributed Systems
Protocol Conformance Testing Using Multiple UIO Sequences
Proceedings of the IFIP WG6.1 Ninth International Symposium on Protocol Specification, Testing and Verification IX
Detection of Global State Predicates
WDAG '91 Proceedings of the 5th International Workshop on Distributed Algorithms
Detection of Unstable Predicates in Distributed Programs
Proceedings of the 12th Conference on Foundations of Software Technology and Theoretical Computer Science
A generalized approach to monitoring distributed computations for event occurrences
A generalized approach to monitoring distributed computations for event occurrences
Efficient Distributed Detection of Conjunctions of Local Predicates
IEEE Transactions on Software Engineering
Event-based detection of concurrency
SIGSOFT '98/FSE-6 Proceedings of the 6th ACM SIGSOFT international symposium on Foundations of software engineering
Event-Based Techniques to Debug an Object Request Broker
The Journal of Supercomputing
Techniques to Tackle State Explosion in Global Predicate Detection
IEEE Transactions on Software Engineering
An Efficient Distributed Online Algorithm to Detect Strong Conjunctive Predicates
IEEE Transactions on Software Engineering
On Using Static Analysis in Distributed System Testing
EDO '00 Revised Papers from the Second International Workshop on Engineering Distributed Objects
A Fine-Grained Modality Classification for Global Predicates
IEEE Transactions on Parallel and Distributed Systems
Discovering models of behavior for concurrent workflows
Computers in Industry - Special issue: Process/workflow mining
Discovering thread interactions in a concurrent system
Journal of Systems and Software - Special issue: Software reverse engineering
Testing Dynamic Adaptation in Distributed Systems
AST '07 Proceedings of the Second International Workshop on Automation of Software Test
On Detecting Regular Predicates in Distributed Systems
ATVA '09 Proceedings of the 7th International Symposium on Automated Technology for Verification and Analysis
Building test constraints for testing middleware-based distributed systems
SEM'02 Proceedings of the 3rd international conference on Software engineering and middleware
Detection of disjunctive normal form predicate in distributed systems
ICDCN'08 Proceedings of the 9th international conference on Distributed computing and networking
| Hi-index | 0.00 |
Testing and debugging programs are more involved in distributed systems than in uniprocessor systems because of the presence of the communication medium and the inherent concurrency. Past research has established that predicate testing is an approach that can alleviate some of the problems in this area. However, checking whether a general predicate is true in a particular distributed execution appears to be a computationally hard problem. This paper considers a class of predicates called conjunctive form predicates (CFP) that is quite useful in distributed program development, but can be tested efficiently. We develop fully-distributed algorithms to test CFP's, prove that these algorithms are correct, and analyze them for their message complexity. The analysis shows that our techniques incur a fairly low overhead on the distributed system.