Verification is experimentation!

Ed Brinksma. Verification is experimentation!. STTT, 3(2):107-111, 2001. [doi]

Abstract

Abstract is missing.