"Towards a GUI Test Model Using State Charts and Programming Code."

Daniel Mauser, Alexander Klaus, Konstantin Holl (2013)
a service of Schloss Dagstuhl - Leibniz Center for Informatics