Reducing the Size of Dynamic Slicing with Constraint Solving | IEEE Conference Publication | IEEE Xplore