Backward conditioning: a new program specialisation technique and its application to program comprehension.

Fox, Chris; Harman, Mark; Hierons, Robert; and Danicic, Sebastian. 2001. Backward conditioning: a new program specialisation technique and its application to program comprehension. In: UNSPECIFIED, ed. 9th IEEE International Workshop on Program Comprenhesion. Los Alamitos, California, USA: IEEE Computer Society Press, pp. 89-97. ISBN 978-0769511313 [Book Section]