M. Politano, V. Bengolea, F. Molina, N. Aguirre, M. Frias, y P. Ponzio, Efficient Bounded Exhaustive Input Generation from Program APIs, JAIIO, vol. 9, n.º 3, jul. 2023.