Type slicing: An accurate object oriented slicing based on sub-statement level dependence graph | doi.page