OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Items where Laboratory is "High-Assurance Software laboratory - HASLab (Braga, Portugal)"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 5.

Conference or Workshop Item

Canny, Alexandre and Navarre, David and Campos, José Creissac and Palanque, Philippe. Model-Based Testing of Post-WIMP Interactions Using Object Oriented Petri-nets. (2020) In: International Workshop on Formal Methods for Interactive Systems (FMIS 2019), 7 October 2019 - 11 October 2019 (Porto, Portugal).

Fayollas, Camille and Martinie De Almeida, Celia and Palanque, Philippe and Masci, Paolo and Harrison, Michael Douglas and Campos, José Creissac and Rodrigues E Silva, Saulo. Evaluation of Formal IDEs for Human-Machine Interface Design and Analysis: The Case of CIRCUS and PVSio-web. (2017) In: 3rd Workshop on Formal Integrated Development Environment (F-IDE 2016), co-located with FM 2016, 21st International Symposium on Formal Methods, 8 November 2016 - 8 November 2016 (Limassol, Cyprus).

Campos, José Creissac and Fayollas, Camille and Martinie De Almeida, Celia and Navarre, David and Palanque, Philippe and Pinto, Miguel. Systematic automation of scenario-based testing of user interfaces. (2016) In: 8th ACM SIGCHI conference Engineering Interactive Computing Systems (EICS 2016), 21 June 2016 - 24 June 2016 (Bruxelles, Belgium).

Silva, João Carlos and Silva, José Luis and Campos, José Creissac and Saraiva, João António. A Model-based Approach for Test Cases Generation. (2013) In: IEEE Iberian Conference on Information Systems and Technologies - CISTI, 19 June 2013 - 22 June 2013 (Lisbonne, Portugal).

Gomes, Tiago and Abade, Tiago and Campos, José Creissac and Harrison, Michael Douglas and Silva, José Luis. Desenvolvimento de Jogos Educativos na plataforma APEX : O Jogo da Asma. (2013) In: 5ª edição da Conferência Nacional sobre Interação (2013), 7 November 2013 - 8 November 2013 (Vila Real, Portugal).

This list was generated on Sat Sep 26 11:48:17 2020 CEST.