526 followers
102 followers
We resume after the break at 2pm with: Efficient Bounded Exhaustive Input Generation from Program APIs. Mariano Politano, Valeria Bengolea, Facundo Molina, Nazareno Aguirre, Marcelo Frias and Pablo Ponzio https://t.co/uBZVqsruUD #etaps23 #etaps2023 #f
102 followers
RT @molinaf17: Next thursday at @FaseConf 👇🏻
312 followers
RT @marianopolitano: Excited to announce that our paper "Efficient Bounded Exhaustive Input Generation from Program APIs"(https://t.co/e3fO…