Testing and Debugging Distributed Programs Using Global Predicates
IEEE Transactions on Software Engineering
Distributed snapshots: determining global states of distributed systems
ACM Transactions on Computer Systems (TOCS)
Consistent global states of distributed systems: fundamental concepts and mechanisms
Distributed systems (2nd Ed.)
Time, clocks, and the ordering of events in a distributed system
Communications of the ACM
Detection of Weak Unstable Predicates in Distributed Programs
IEEE Transactions on Parallel and Distributed Systems
Computer
Assurance of dynamic adaptation in distributed systems
Journal of Parallel and Distributed Computing
Hi-index | 0.00 |
Many software systems undergo dynamic adaptation in response to change in requirements or frequent changes in their usage context. Before adaptation, the system satisfies the behavior of the old program (i.e., program before adaptation), and after adaptation the system satisfies the behavior of the new program (i.e., program after adaptation). During adaptation, the behavior of the old program and the behavior of the new program may overlap. Existing algorithms to test distributed systems do not deal with adaptive systems. In this paper, we discuss testing of system during adaptation using predicate detection techniques.