Dynamic Test Generation to Find Integer Bugs in x86 Binary Linux Programs
An Empirical Study of the Reliability of UNIX Utilities