Making runtime monitoring of parametric properties practical

Dongyun Jin. Making runtime monitoring of parametric properties practical. PhD thesis, University of Illinois Urbana-Champaign, USA, 2012. [doi]

Abstract

Abstract is missing.