Automated blackbox GUI specifications enhancement and test data generation