Table 9: Example of a fitness case for the feature F1.

Feature F1

Input 999-1, 111-1, 999-2, 111-2, 500

Outcome database.update(account, 3002, “balance”, “1800”);
database.update(account, 3001, “balance,” “1500”);
database.insert(transaction, 4001, “send,” “3002,” “500,” “t01”);
database.insert(transaction, 4001, “recv,” “3001,” “500,” “t01”);