Efficient Bounded Exhaustive Input Generation from Program APIs

Mariano Politano, Valeria S. Bengolea, Facundo Molina, Nazareno Aguirre, Marcelo F. Frias, Pablo Ponzio. Efficient Bounded Exhaustive Input Generation from Program APIs. In Leen Lambers, Sebastián Uchitel, editors, Fundamental Approaches to Software Engineering - 26th International Conference, FASE 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings. Volume 13991 of Lecture Notes in Computer Science, pages 111-132, Springer, 2023. [doi]

Abstract

Abstract is missing.