Alexandre R. S. Correia

According to our database, Alexandre R. S. Correia authored at least 4 papers between 2020 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2024

The effect of distance metrics in a general purpose synthesizer of imperative programs: A second empirical study using enlarged search spaces.

Alexandre R. S. Correia, Juliano Manabu Iyoda, Alexandre Cabral Mota

Softw. Pract. Exp., March, 2024

2022

The effect of distance metrics in a general purpose synthesizer: An empirical study on integer domain imperative programs.

Alexandre R. S. Correia, Juliano Manabu Iyoda, Alexandre Cabral Mota

Softw. Pract. Exp., 2022

2021

A family of multi-concept program synthesisers in Alloy^⁎.

Alexandre R. S. Correia, Juliano Iyoda, Alexandre Mota

Sci. Comput. Program., 2021

2020

Combining model finder and genetic programming into a general purpose automatic program synthesizer.

Alexandre R. S. Correia, Juliano Iyoda, Alexandre Mota

Inf. Process. Lett., 2020