An Empirical Study of Software Requirements Verification and Validation Techniques Along Their Mitigation Strategies. AJCIS 2015, 3 (3).