Efficient algorithms for bidirectional debugging (2000)

by B Boothe
Venue:ACM Conf. on Programming Language Design and Implementation