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]

@inproceedings{PolitanoBMAFP23,
  title = {Efficient Bounded Exhaustive Input Generation from Program APIs},
  author = {Mariano Politano and Valeria S. Bengolea and Facundo Molina and Nazareno Aguirre and Marcelo F. Frias and Pablo Ponzio},
  year = {2023},
  doi = {10.1007/978-3-031-30826-0_6},
  url = {https://doi.org/10.1007/978-3-031-30826-0_6},
  researchr = {https://researchr.org/publication/PolitanoBMAFP23},
  cites = {0},
  citedby = {0},
  pages = {111-132},
  booktitle = {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},
  editor = {Leen Lambers and Sebastián Uchitel},
  volume = {13991},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-031-30826-0},
}