It might take time getting used to thinking in terms of properties/invariants, but IME it's definitely worth it. Both for covering a larger portion of the input space as for eliciting the thought of what properties we want from the system.