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]
- Checking Properties Described by State Machines: On Synergy of Instrumentation, Slicing, and Symbolic ExecutionJiri Slaby, Jan Strejcek, Marek Trtík. fmics 2012: 207-221 [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 5: Boosted Instrumentation - (Competition Contribution)Marek Chalupa, Martina Vitovská, Jan Strejcek. TACAS 2018: 442-446 [doi]
- Symbiotic 2: More Precise Slicing - (Competition Contribution)Jiri Slaby, Jan Strejcek. TACAS 2014: 415-417 [doi]
- 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 2022: 462-467 [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]
- Symbiotic 6: generating test cases by slicing and symbolic executionMarek Chalupa, Martina Vitovská, Tomás Jasek, Michael Simácek, Jan Strejcek. STTT, 23(6):875-877, 2021. [doi]