dslice user manual
Introduction | Running dslice | Dynamic slicing model