formal list of test cases