Linked Presentation: Inference of Error Specifications and Bug Detection Using Structural Similarities