Title: Automated Batch Record Systems and Test Cases That Qualify Them