Alexandre R. S. Correia

Publication Activity (10 Years)

Years Active: 2022-2024
Publications (10 Years): 2

Top Topics

Imperative Programs

Distance Metric

General Purpose

Top Venues

Softw. Pract. Exp.

Publications

Alexandre R. S. Correia, Juliano Manabu Iyoda, Alexandre Cabral Mota
The effect of distance metrics in a general purpose synthesizer of imperative programs: A second empirical study using enlarged search spaces. Softw. Pract. Exp. 54 (3) (2024)
Alexandre R. S. Correia, Juliano Manabu Iyoda, Alexandre Cabral Mota
The effect of distance metrics in a general purpose synthesizer: An empirical study on integer domain imperative programs. Softw. Pract. Exp. 52 (5) (2022)