V&V - TP6: Random testing with YETI