How might use cases and use case testing be an effective black-box testing technique?