Computation Of Dynamic Slices For Programs With Arbitrary Control-Flow.

Bogdan Korel Computation Of Dynamic Slices For Programs With Arbitrary Control-Flow. 71-86 1995 AADEBUG db/conf/aadebug/aadebug95.html#Korel95