Juan Manuel Copia, Facundo Molina, Nazareno Aguirre, Marcelo F. Frias, Alessandra Gorla, Pablo Ponzio. Precise Lazy Initialization for Programs with Complex Heap Inputs. In 34th IEEE International Symposium on Software Reliability Engineering, ISSRE 2023, Florence, Italy, October 9-12, 2023. pages 752-762, IEEE, 2023. [doi]
Abstract is missing.