The Tests-versus-Proofs Conundrum

George Candea. The Tests-versus-Proofs Conundrum. IEEE Security & Privacy, 12(1):65-68, 2014. [doi]

Abstract

Abstract is missing.