refactoring
partitioning, refactoring
traversing
state space filling