Abstractions And Algorithms For Specializing Dynamic Program Analysis And Random Fuzz Testing