Emmanouil Koukoutos and Viktor Kuncak. Checking data structure properties orders of magnitude faster. In Runtime Verification (RV), 2014.

[ bib ] Back