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 |
Externí odkaz: |