We gratefully acknowledge support from
the Simons Foundation and member institutions.

No authors of 2112.10627 can endorse.

FuSeBMC v.4: Smart Seed Generation for Hybrid Fuzzing

Kaled Alshmrany Ka: Is registered as an author of this paper.
Registered name does not match name on paper.

Kaled M. Alshmrany, Mohannad Aldughaim, Ahmed Bhayat and Lucas C. Cordeiro are not registered as owners of this paper. (why?)