Require: Program and failing test case
Ensure: Dynamic slice
(1)   RUN
(2)  for all      do
(3)    RELEVANTSLICE
(4)   end for
(5)   for all   do
(6)     POSITIONINEXECUTIONTRACE
(7)    for all  variables in   do
(8)   RELEVANTSLICE
(9)    end for
(10)    
(11) end for
(12)   MINHITTINGSETS SETOFALL  
(13)   EXTENDCONTROLSTATEMENTS
(14)  
(15)   CONSTRAINTS
(16)  
(17)  for all      do
(18)    
(19)    
(20)         where
(21)    if   CONSTRAINTSOLVER has solution   then
(22)  
(23)  end if
(24)  end for
(25) return  
Algorithm 4: CONBAS ( , ).