Preparation-free and comprehensive runtime verification tool for testing Java programs

Choonghwan Lee. Preparation-free and comprehensive runtime verification tool for testing Java programs. PhD thesis, University of Illinois Urbana-Champaign, USA, 2013. [doi]

Abstract

Abstract is missing.