Tikir MM, Hollingsworth J.  2005.  Efficient online computation of statement coverage. Journal of Systems and Software. 78(2):146-165.