Dynamic Test Generation For Large Binary Programs. door David Alexnder Molnar