The iMPAcT Tool: Testing UI Patterns on Mobile Applications
A GUI modeling DSL for pattern-based GUI testing PARADIGM