A Blackbox Fuzzing Based on Automated State Machine Extraction | IEEE Conference Publication | IEEE Xplore