There are examples in the author's presentation at SSTIC '19 -- in french only https://www.sstic.org/2019/presentation/GUSTAVE_FuzzItLikeIt...