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]

Authors

Xiangyu Zhang

This author has not been identified. Look up 'Xiangyu Zhang' in Google

Rajiv Gupta

This author has not been identified. Look up 'Rajiv Gupta' in Google

Youtao Zhang

This author has not been identified. Look up 'Youtao Zhang' in Google