Efficient Bounded Exhaustive Input Generation from Program APIs.

Mariano Politano, Valeria S. Bengolea, Facundo Molina, Nazareno Aguirre, Marcelo F. Frias, Pablo Ponzio

Browse the full FASE paper archive.