Politano, M.; Bengolea, V.; Molina, F.; Aguirre, N.; Frias, M.; Ponzio, P. Efficient Bounded Exhaustive Input Generation from Program APIs. JAIIO 2023, 9.