Is there a Haskell type of Linux syscalls? If it is the case, we can automatically derive Haskell code to generate an arbitrary list of syscalls.
(disclamer: I'm one of the QuickFuzz [0] developers and I'm very interested in testing for this kind of bugs)