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

Ajeet Shankar, Rastislav Bodík. DITTO: automatic incrementalization of data structure invariant checks (in Java). In Jeanne Ferrante, Kathryn S. McKinley, editors, Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, San Diego, California, USA, June 10-13, 2007. pages 310-319, ACM, 2007. [doi]

Abstract

Abstract is missing.