An empirical study of the reliability of UNIX utilities
Citations
1,536 citations
Cites background from "An empirical study of the reliabili..."
...Many C programs have buffer overflow vulnerabilities, both because the C language lacks array bounds checking, and because the culture of C programmers encourages a performance-oriented style that avoids error checking where possible [14, 13]....
[...]
980 citations
Cites methods from "An empirical study of the reliabili..."
...In a classical experiment [6], [7], Miller et al....
[...]
930 citations
Cites background from "An empirical study of the reliabili..."
...’s work on fuzz testing, in which programs crash when given random inputs [34]....
[...]
912 citations
Cites methods from "An empirical study of the reliabili..."
...When a path terminates or hits a bug, EXE automatically generates a test case by solving the current pathconstraintsto .nd concretevaluesusingitsownco-designed constraint solver,STP....
[...]
815 citations
Cites methods from "An empirical study of the reliabili..."
...Random testing [14] has been used to find errors in many applications; a partial list includes Unix utilities [19], Windows GUI applications [10], Haskell programs [2], and Java programs [3, 23, 22]....
[...]
References
5,028 citations
911 citations
432 citations
208 citations
[...]
149 citations