One Step Forward: Linking Wireless Self-organizing Network Validation Techniques with Formal Testing Approaches