Techniques and Applications of Computation Slicing

Neeraj Mittal, Vijay K. Garg

Writing correct distributed programs is hard. In spite of extensive testing and debugging, software faults persist even in commercial grade software. Many distributed systems, espe…