Combining test case generation and runtime verification.
Cyrille ArthoHoward BarringerAllen GoldbergKlaus HavelundSarfraz KhurshidMichael R. LowryCorina S. PasareanuGrigore RosuKoushik SenWillem VisserRichard WashingtonPublished in: Theor. Comput. Sci. (2005)