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]

@inproceedings{ZhangGZ04,
  title = {Efficient Forward Computation of Dynamic Slices Using Reduced Ordered Binary Decision Diagrams},
  author = {Xiangyu Zhang and Rajiv Gupta and Youtao Zhang},
  year = {2004},
  url = {http://csdl.computer.org/comp/proceedings/icse/2004/2163/00/21630502abs.htm},
  tags = {slicing},
  researchr = {https://researchr.org/publication/ZhangGZ04},
  cites = {0},
  citedby = {0},
  pages = {502-511},
  booktitle = {26th International Conference on Software Engineering (ICSE 2004), 23-28 May 2004, Edinburgh, United Kingdom},
  publisher = {IEEE Computer Society},
  isbn = {0-7695-2163-0},
}