An aspect-oriented testability framework. - Nankai Pan; Eunjee Song (RACS, 2012)