Invariant Testing

Testing that asserts properties which must always hold, regardless of input sequence.