This technique should be used whenever you have boundaries defined into a spec. It is a great idea to apply it to any rule based on time, values, any kind of counting or scale to be triggered.
It also ensure and helps finding n + 1 errors. And yes, it is an expansion from Equivalence Partition c...