Efficient Forward Computation of Dynamic Slices Using Reduced Ordered Binary Decision Diagrams.

Xiangyu Zhang, Rajiv Gupta, Youtao Zhang

Browse the full ICSE paper archive.