In Defense of Program Testing, or Correctness Proofs Considered Harmful

Research output: Contribution to JournalArticleAcademicpeer-review

Original languageEnglish
Pages (from-to)64-68
JournalSIGPLAN notices
Volume11
Issue numberMay
Publication statusPublished - 1976

Cite this

@article{45f1ff343dfb453d939894327bb9be4e,
title = "In Defense of Program Testing, or Correctness Proofs Considered Harmful",
author = "A.S. Tanenbaum",
year = "1976",
language = "English",
volume = "11",
pages = "64--68",
journal = "SIGPLAN notices",
issn = "0362-1340",
publisher = "Association for Computing Machinery (ACM)",
number = "May",

}

In Defense of Program Testing, or Correctness Proofs Considered Harmful. / Tanenbaum, A.S.

In: SIGPLAN notices, Vol. 11, No. May, 1976, p. 64-68.

Research output: Contribution to JournalArticleAcademicpeer-review

TY - JOUR

T1 - In Defense of Program Testing, or Correctness Proofs Considered Harmful

AU - Tanenbaum, A.S.

PY - 1976

Y1 - 1976

M3 - Article

VL - 11

SP - 64

EP - 68

JO - SIGPLAN notices

JF - SIGPLAN notices

SN - 0362-1340

IS - May

ER -