プログラム ditto-java.sf.net

バグを見つけるためにランタイムデータ構造の不変式チェックを書きたいが、減速に耐えられない?ディットは助けるでしょう。このツールは、10 倍速く実行されるように、自動的にこのようなチェックを最適化します。PLDI 2007紙http://www.cs.berkeley.edu/~aj/cs/ditto.pdf