Improving generated functional tests