The following publications are possibly variants of this publication:
- Symbiotic 8: Beyond Symbolic Execution - (Competition Contribution)Marek Chalupa, Tomás Jasek, Jakub Novák, Anna Rechtácková, Veronika Soková, Jan Strejcek. TACAS 2021: 453-457 [doi]
- Symbiotic 2: More Precise Slicing - (Competition Contribution)Jiri Slaby, Jan Strejcek. TACAS 2014: 415-417 [doi]
- SYMBIOTIC 5: Boosted Instrumentation - (Competition Contribution)Marek Chalupa, Martina Vitovská, Jan Strejcek. TACAS 2018: 442-446 [doi]
- Symbiotic 7: Integration of Predator and More - (Competition Contribution)Marek Chalupa, Tomás Jasek, Lukás Tomovic, Martin Hruska, Veronika Soková, Paulína Ayaziová, Jan Strejcek, Tomás Vojnar. TACAS 2020: 413-417 [doi]
- 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 2024: 406-411 [doi]
- Symbiotic-Witch: A Klee-Based Violation Witness Checker - (Competition Contribution)Paulína Ayaziová, Marek Chalupa, Jan Strejcek. TACAS 2022: 468-473 [doi]
- Symbiotic-Witch 2: More Efficient Algorithm and Witness Refutation - (Competition Contribution)Paulína Ayaziová, Jan Strejcek. TACAS 2023: 523-528 [doi]
- Symbiotic: Synergy of Instrumentation, Slicing, and Symbolic Execution - (Competition Contribution)Jiri Slaby, Jan Strejcek, Marek Trtík. TACAS 2013: 630-632 [doi]
- Symbiotic 8: Parallel and Targeted Test Generation - (Competition Contribution)Marek Chalupa, Jakub Novák, Jan Strejcek. FASE 2021: 368-372 [doi]
- Symbiotic 3: New Slicer and Error-Witness Generation - (Competition Contribution)Marek Chalupa, Martin Jonás, Jiri Slaby, Jan Strejcek, Martina Vitovská. TACAS 2016: 946-949 [doi]