Formal Bug Hunting with “River Fishing” Techniques