A GUI modeling DSL for pattern-based GUI testing PARADIGM | IEEE Conference Publication | IEEE Xplore