VERIFICATION TEST PROBLEMS: Searching Inside