Trapezoidal Generalization over Linear Constraints

David Greve, Andrew Gacek

We are developing a model-based fuzzing framework that employs mathematical models of system behavior to guide the fuzzing process. Whereas traditional fuzzing frameworks generate…