An Empirical Evaluation of Automated Black Box Testing Techniques for Crashing GUIs | IEEE Conference Publication | IEEE Xplore