Skip to content

An Empirical Study of the Reliability of UNIX Utilities.

Miller, B. P., Fredriksen, L., & So, B. (1990). An Empirical Study of the Reliability of UNIX Utilities. Communications of the ACM, 32-44.

Type
Journal article
Intellectual base
Primary research
Year
1990
Pages
32-44
DOI
10.1145/96267.96279
DOI registrant
Association for Computing Machinery
Link
https://doi.org/10.1145/96267.96279
Cited from
computer_science

Cited by

1 citation across 1 artifact.

Each citation links to the sentence it supports in the citing article.

Primes

  • Fuzzing
    • In software security it is coverage-guided fuzzers that have found tens of thousands of bugs in widely-deployed code.

      This sourceCoins "fuzz" testing — feeding random inputs through normal interfaces to crash programs — and reports widespread failures (about 24% of utilities), the origin of fuzzing.

      Supported in partVerified against the publisher's abstract

      The 1990 origin paper describes random-character (non-coverage-guided) fuzzing of UNIX utilities that crashed on bug-triggering input, but reports neither coverage guidance nor a bug count in the tens of thousands.

      “These tools include the fuzz (random character) generator, ptyjig (to test interactive utilities), and scripts to automate the testing process.”

      From the publisher's abstract.

      Read by an automated reader; not a human review. How support was checked

Verification

Does it exist? Confirmed. This work's DOI resolves to a registered record, which fixes its identity. That is all it fixes.

Does it back the claim? Read against the text for 1 of 1 citation: 1 supported in part. Each verdict is shown under its citation below, with what in the work backs the sentence.

Support is checked per citation rather than per work — the same source can be cited soundly in one article and wrongly in another. Per-citation recording began recently, so a citation with no recorded check is a gap in the record rather than evidence it went unchecked.

See how references were verified.

Registry ID ref:177fb6a9c472 · see in the full table