LISSA: Lazy Initialization with Specialized Solver Aid - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Juan Manuel Copia' in GoogleThis author has not been identified. Look up 'Pablo Ponzio' in GoogleThis author has not been identified. Look up 'Nazareno Aguirre' in GoogleThis author has not been identified. Look up 'Alessandra Gorla' in GoogleThis author has not been identified. Look up 'Marcelo F. Frias' in Google

runs on WebDSL