Symbiotic 10: Lazy Memory Initialization and Compact Symbolic Execution - (Competition Contribution). - Martin Jonás; Kristián Kumor; Jakub Novák; Jindrich Sedlácek; Marek Trtík; Lukás Zaoral; Paulína Ayaziová; Jan Strejcek (TACAS (3), 2024)