BEACON: Directed Grey-Box Fuzzing with Provable Path Pruning | IEEE Conference Publication | IEEE Xplore