Inference of Error Specifications and Bug Detection Using Structural Similarity [pdf] (usenix.org)