An Empirical Evaluation of Automated Black Box Testing Techniques for Crashing GUIs