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).