Data | Título | Autor(es) | Tipo | Acesso |
2017 | Evaluation of formal IDEs for human-machine interface design and analysis: the case of CIRCUS and PVSio-web | Fayollas, Camille; Martinie, Celia; Palanque, Philippe, et al. | Artigo em ata de conferência | Acesso aberto |
2017 | A “more intelligent” test case generation approach through task models manipulation | Campos, José C.; Fayollas, Camille; Gonçalves, Marcelo, et al. | Artigo | Acesso aberto |
Ago-2020 | Supporting the analysis of safety critical user interfaces: an exploration of three formal tools | Campos, José C.; Fayollas, Camille; Harrison, Michael D., et al. | Artigo | Acesso aberto |
21-Jun-2016 | Systematic automation of scenario-based testing of user interfaces | Campos, José C.; Fayollas, Camille; Martinie, Célia, et al. | Artigo em ata de conferência | Acesso aberto |