Invariant testing

I ve been practicing surface testing for over ten years. While I have been improving the approach, I didn t find any major conceptual improvements to the principles already outlined. This changed today, thanks to a colleague of mine (Arunkarthick Sundaram). He proposed the concept of system invariants. System invariants are executable assertions about data that should [ ]