Juan Manuel Copia, Pablo Ponzio, Nazareno Aguirre, Alessandra Gorla, Marcelo F. Frias. LISSA: Lazy Initialization with Specialized Solver Aid. In 37th IEEE/ACM International Conference on Automated Software Engineering, ASE 2022, Rochester, MI, USA, October 10-14, 2022. ACM, 2022. [doi]
@inproceedings{CopiaPAGF22, title = {LISSA: Lazy Initialization with Specialized Solver Aid}, author = {Juan Manuel Copia and Pablo Ponzio and Nazareno Aguirre and Alessandra Gorla and Marcelo F. Frias}, year = {2022}, doi = {10.1145/3551349.3556965}, url = {https://doi.org/10.1145/3551349.3556965}, researchr = {https://researchr.org/publication/CopiaPAGF22}, cites = {0}, citedby = {0}, booktitle = {37th IEEE/ACM International Conference on Automated Software Engineering, ASE 2022, Rochester, MI, USA, October 10-14, 2022}, publisher = {ACM}, isbn = {978-1-4503-9475-8}, }