Symbiotic 9: String Analysis and Backward Symbolic Execution with Loop Folding - (Competition Contribution). - Marek Chalupa; Vincent Mihalkovic; Anna Rechtácková; Lukás Zaoral; Jan Strejcek (TACAS (2), 2022)

The Adoption Rate of JavaCard Features by Certified Products and Open-Source Projects. - Lukás Zaoral; Antonín Dufka; Petr Svenda (CARDIS, 2023)

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)