Ditto: Automatic incrementalization of data structure invariant checks (in Java (2007)

by A Shankar, R Bodík
Venue:In Conference on Programming Language Design and Implementation, PLDI’07