POLITANO, M.; BENGOLEA, V.; MOLINA, F.; AGUIRRE, N.; FRIAS, M.; PONZIO, P. Efficient Bounded Exhaustive Input Generation from Program APIs. Memorias de las JAIIO, v. 9, n. 3, 4 jul. 2023.