Valéria Lelli, Arnaud Blouin, Benoit Baudry, Fabien Coulon: On model-based testing advanced GUIs. ICST Workshops 2015: 1-10