Backward conditioning: a new program specialisation technique and its application to program comprehension (2001)

by Chris Fox, Mark Harman, Rob Mark Hierons, Sebastian Danicic
Venue:In 9 th IEEE International Workshop on Program Comprenhesion (IWPC’01