Precise shape analysis using field sensitivity. - Sandeep Dasgupta; Amey Karkare; Vinay K. Reddy (Innov. Syst. Softw. Eng., 2013)