publicações selecionadas
-
artigo académico
- Experiences on teaching Alloy with an automated assessment platform. International Journal on Software Tools for Technology Transfer. 2021
- Model-based user interface testing with Spec Explorer and ConcurTaskTrees. Electronic Notes in Theoretical Computer Science. 2008
-
artigo de conferência
- Specifying UML protocol state machines in Alloy. International Journal on Software Tools for Technology Transfer. 2012
- Test case generation from mutated task models 2011
-
capítulo de livro
- Alloy Repair Hint Generation Based on Historical Data 2024
- Experiences on Teaching Alloy with an Automated Assessment Platform. International Journal on Software Tools for Technology Transfer. 2020
-
documento
- Alloy4Fun Dataset 2020
- Sequence mining for automatic generation of software tests from GUI event traces. International Journal on Software Tools for Technology Transfer. 2020
- Evolution of collective fairness in hybrid populations of humans and agents. AAAI Conference on Artificial Intelligence. 2019
- Sharing and learning Alloy on the web 2019
- Multiplayer ultimatum games and collective fairness in networked communities 2018
- Structural power and the evolution of collective fairness in social networks 2017
- The role of execution errors in populations of ultimatum bargaining agents. International Journal on Software Tools for Technology Transfer. 2017
- Dynamics of fairness in groups of autonomous learning agents. International Journal on Software Tools for Technology Transfer. 2016
- Execution errors enable the evolution of fairness in the ultimatum game. Frontiers in Artificial Intelligence and Applications. 2016
- Learning to be fair in multiplayer Ultimatum Games. Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS. 2016
- Evolutionary dynamics of group fairness. Journal of Theoretical Biology. 2015
- Alloy4Fun Dataset for 2019/20
- Alloy4Fun Dataset for 2019/20