A Coverage and Slicing Dependencies Analysis for Seeking Software Security Defects. (2nd April 2014)