DITTO: automatic incrementalization of data structure invariant checks (in Java).

Ajeet Shankar, Rastislav Bodk

Browse the full PLDI paper archive.