Is it a Bug? Understanding Physical Unit Mismatches in Robot Software. Coming Soon.

Understanding Misconfigurations in ROS: An Empirical Study and Current Approaches. Coming Soon.

Usability-Oriented Design of Liquid Types for Java, Catarina Gamboa, Paulo Canelas, Christopher S. Timperley, Alcides Fonseca. In International Conference on Software Engineering (ICSE), 2023.


Data types as a more ergonomic frontend for Grammar-Guided Genetic Programming, Guilherme Espada, Leon Ingelse, Paulo Canelas, Pedro Barbosa, Alcides Fonseca, in Proceedings of the 21st ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, 2022.

An Experience Report on Challenges in Learning the Robot Operating System, Paulo Canelas, Miguel Tavares, Ricardo Cordeiro, Alcides Fonseca, Christopher Steven Timperley, in IEEE/ACM 4th International Workshop on Robotics Software Engineering (RoSE), 2022.

Grammatical Evolution Mapping for Semantically-Constrained Genetic Programming, Alcides Fonseca, Paulo Santos, Guilherme Espada, Sara Silva, in Genetic Programming Theory and Practice XVIII, 2022.


Augmenting Search-based Techniques with Static Synthesis-based Input Generation, Paulo Santos, José Campos, Christopher S. Timperley, and Alcides Fonseca, in International Workshop on Search-Based Software Testing (SBST ‘21), 2021.


Extending Java with Refinements, Catarina Gamboa, Paulo Santos, Alcides Fonseca. In Program Semantics, Specification and Verification (PSSV 2020).

The Usability Argument for Refinement Typed Genetic Programming, Alcides Fonseca, Paulo Santos, Sara Silva. In Parallel Problem Solving from Nature (PPSN 2020).

Refined Typed Genetic Programming as a user interface for Genetic Programming, Paulo Santos, Sara Silva, Alcides Fonseca. In Proceedings of the 2020 Genetic and Evolutionary Computation Conference Companion (GECCO’20).