Invariants over test traces. Meaning properties that hold over all test cases and all traces.