David Navarre
AuthID: R-00G-XZY
1
TITLE: Model-Based Testing of Post-WIMP Interactions Using Object Oriented Petri-Nets
AUTHORS: Alexandre Canny; David Navarre; José Creissac Campos ; Philippe A Palanque;
PUBLISHED: 2019, SOURCE: 3rd World Congress on Formal Methods, FM 2019 in Formal Methods. FM 2019 International Workshops - Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part I, VOLUME: 12232
AUTHORS: Alexandre Canny; David Navarre; José Creissac Campos ; Philippe A Palanque;
PUBLISHED: 2019, SOURCE: 3rd World Congress on Formal Methods, FM 2019 in Formal Methods. FM 2019 International Workshops - Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part I, VOLUME: 12232
2
TITLE: A More Intelligent Test Case Generation Approach through Task Models Manipulation
AUTHORS: José Creissac Campos ; Camille Fayollas; Marcelo Gonçalves; Célia Martinie; David Navarre; Philippe A Palanque; Miguel Pinto;
PUBLISHED: 2017, SOURCE: PACMHCI, VOLUME: 1, ISSUE: 1
AUTHORS: José Creissac Campos ; Camille Fayollas; Marcelo Gonçalves; Célia Martinie; David Navarre; Philippe A Palanque; Miguel Pinto;
PUBLISHED: 2017, SOURCE: PACMHCI, VOLUME: 1, ISSUE: 1
