next up previous contents
Next: Using the dependency browser Up: The Bandera Slicer Previous: Appropriate notions of dependence

How slicing criteria are generated


Roby Joehanes
Wed Mar 7 18:30:51 CST 2001