SSG-AFL: Vulnerability detection for Reactive Systems using Static Seed Generator based AFL | IEEE Conference Publication | IEEE Xplore