publicações selecionadas
-
artigo de conferência
- Model-Based Testing of Post-WIMP Interactions Using Object Oriented Petri-Nets. Computational Methods in Applied Sciences. 2019
- Trends on engineering interactive systems: An overview of works presented in workshops at EICS 2019 2019
- Evaluation of formal IDEs for human-machine interface design and analysis: The case of CIRCUS and PVSio-web. Electronic Proceedings in Theoretical Computer Science. 2017
- Systematic automation of scenario-based testing of user interfaces 2016
-
artigo de revista
- Supporting the Analysis of Safety Critical User Interfaces: An Exploration of Three Formal Tools. ACM Transactions on Computer-Human Interaction. 2020
- A More Intelligent Test Case Generation Approach through Task Models Manipulation. PACMHCI. 2017
-
capítulo de livro
-
documento