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

Xiangyu Zhang, Rajiv Gupta, Youtao Zhang. Efficient Forward Computation of Dynamic Slices Using Reduced Ordered Binary Decision Diagrams. In 26th International Conference on Software Engineering (ICSE 2004), 23-28 May 2004, Edinburgh, United Kingdom. pages 502-511, IEEE Computer Society, 2004. [doi]

Abstract

Abstract is missing.