On the Relative Strengths of Model-Based and Dynamic Event Extraction-Based GUI Testing Techniques: An Empirical Study | IEEE Conference Publication | IEEE Xplore