프로그램별 ditto-java.sf.net

버그를 찾기 위해 런타임 데이터 구조 불변 검사를 작성하고 싶지만 속도가 느려지지 않습니까? 디토가 도움이 될 것입니다. 이러한 검사를 자동으로 최적화하여 10배 이상 실행됩니다. PLDI 2007 종이 http://www.cs.berkeley.edu/~aj/cs/ditto.pdf