Read news on Program analysis with our app.
Read more in the app
Program analysis using random interpretation (2005) [pdf]