  Fuzz Testing is a well-studied area in the field of Software Maintenance and
Evolution. In recent years, coverage-based Greybox fuzz testing has gained
immense attention by discovering critical security level and show-stopper bugs
in industrial grade software. Greybox fuzz-testing uses coverage maximization
as objective function and achieve the same by employing feedback-driven
evolutionary algorithms. In our work, we have utilized the power of Greybox
fuzz testing, combined with interval analysis for solving reachability problem
in sequential and industrial RERS (Rigorous Examination of Reactive Software)
2019 benchmarks.
