2 ms·Inference of Error Specifications and Bug Detection Using Structural Similarity [pdf]14 points by luu 2y ago