Dynamic program dicing

Program dicing, introduced by J. R. Lyle and M. Weiser (Proc. 2nd Int. Conf. Comput. Appl., pp. 887-883, 1987), is a debugging technique built upon program slicing. Their dicing methodology is referred to as static program dicing in this paper. Since it is difficult to apply static program dicing effectively under some circumstances, an extension of program dicing, dynamic program dicing, is introduced here. Several strategies of constructing dynamic dices are also discussed. Although a dynamic slice is included in its corresponding static slice, a dynamic dice is not necessarily included in its corresponding static dice. Some conditions under which dynamic dice is more precise than static dice are investigated.<>