द्वारा कार्यक्रम ditto-java.sf.net

एक बग खोजने के लिए एक रनटाइम डेटा संरचना इनवेरिएंट चेक लिखना चाहते हैं, लेकिन मंदी बर्दाश्त नहीं कर सकता? यही हाल मदद करेगा। यह स्वचालित रूप से इस तरह के चेक को अनुकूलित करता है ताकि वे 10x तेज या अधिक तेजी से चलें। PLDI 2007