Checking Data Structure Properties Orders of Magnitude Faster

Citation

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

BibTex Entry

@inproceedings{KoukoutosKuncak14CheckingDataStructurePropertiesOrdersMagnitudeFaster,
  author = {Emmanouil Koukoutos and Viktor Kuncak},
  title = {Checking Data Structure Properties Orders of Magnitude Faster},
  booktitle = {Runtime Verification (RV)},
  year = 2014
}