Inference of Error Specifications and Bug Detection Using Structural Similarity [pdf]usenix.org14 pointsluu2 years ago