Engineering Model-Based Software Testing of WIMP Interactive Applications: A Process based on Formal Models and the SQUAMATA Tool.
Alexandre CannyCélia MartinieDavid NavarrePhilippe A. PalanqueEric BarboniChristine GrisPublished in: Proc. ACM Hum. Comput. Interact. (2021)