Test case generator for robustness testing (a.k.a. a \