Precise Lazy Initialization for Programs with Complex Heap Inputs.

Juan Manuel Copia, Facundo Molina, Nazareno Aguirre, Marcelo F. Frias, Alessandra Gorla, Pablo Ponzio

Browse the full ISSRE paper archive.