High-level workflow of coverage guided fuzz testing