Automatic exploration to empty cases
Note : Refactor