crash-correlation

クラッシュの相関は嘘をつく。真のバグを指させる方法はこちら

statistical debuggingはクラッシュと相関するpredicatesを見つけるが、相関はファイル名と行番号ではない。相関スコアから実際のバグの場所へと導くランキング、フィルタリング、トライアングレーションの方法を解説する。

statistical debuggingは、根本原因ではなくソートされたpredicatesのリストを与える。すべての分岐とnull…