Parameterized GUI Tests. - Stephan Arlt; Pedro Borromeo; Martin Schäf; Andreas Podelski (ICTSS, 2012)