Read news on error specifications with our app.
Read more in the app
Inference of Error Specifications and Bug Detection Using Structural Similarity [pdf]