SILK: Constraint-guided Hybrid Fuzzing | IEEE Conference Publication | IEEE Xplore