# RERS-Fuzz : Combining Greybox Fuzzing with Interval Analysis for error reachability in reactive softwares

## TL;DR

This paper introduces RERS-Fuzz, a novel approach that combines greybox fuzzing with interval analysis to improve error reachability detection in reactive software, particularly targeting industrial benchmarks.

## Contribution

It presents a new hybrid method integrating greybox fuzzing with interval analysis to enhance bug detection in reactive software systems.

## Key findings

- Effective in discovering critical bugs in RERS benchmarks
- Improves reachability analysis accuracy
- Combines strengths of fuzzing and static analysis

## Abstract

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.