LISSA: Lazy Initialization with Specialized Solver Aid

Autor: Juan Manuel Copia, Pablo Ponzio, Nazareno Aguirre, Alessandra Gorla, Marcelo Frias
Rok vydání: 2022
Zdroj: Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering.
Databáze: OpenAIRE