publication venue for Activities and Trends in Testing Graphical User Interfaces Automatically. 5:1-19. 2010