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]

Authors

Alexandre Canny

This author has not been identified. Look up 'Alexandre Canny' in Google

Célia Martinie

This author has not been identified. Look up 'Célia Martinie' in Google

David Navarre

This author has not been identified. Look up 'David Navarre' in Google

Philippe A. Palanque

This author has not been identified. Look up 'Philippe A. Palanque' in Google

Eric Barboni

This author has not been identified. Look up 'Eric Barboni' in Google

Christine Gris

This author has not been identified. Look up 'Christine Gris' in Google