Engineering Model-Based Software Testing of WIMP Interactive Applications: A Process based on Formal Models and the SQUAMATA Tool

Alexandre Canny, CĂ©lia Martinie, David Navarre, Philippe A. Palanque, Eric Barboni, Christine Gris. Engineering Model-Based Software Testing of WIMP Interactive Applications: A Process based on Formal Models and the SQUAMATA Tool. PACMHCI, 5(EICS):1-30, 2021. [doi]

Abstract

Abstract is missing.