Symbiotic 3: New Slicer and Error-Witness Generation - (Competition Contribution). - Marek Chalupa; Martin Jonás; Jiri Slaby; Jan Strejcek; Martina Vitovská (TACAS, 2016)

Symbiotic 4: Beyond Reachability - (Competition Contribution). - Marek Chalupa; Martina Vitovská; Martin Jonás; Jiri Slaby; Jan Strejcek (TACAS (2), 2017)

Joint Forces for Memory Safety Checking. - Marek Chalupa; Jan Strejcek; Martina Vitovská (SPIN, 2018)

SYMBIOTIC 5: Boosted Instrumentation - (Competition Contribution). - Marek Chalupa; Martina Vitovská; Jan Strejcek (TACAS (2), 2018)

SBT-instrumentation: A Tool for Configurable Instrumentation of LLVM Bitcode. - Martina Vitovská; Marek Chalupa; Jan Strejcek (CoRR, 2018)

Joint forces for memory safety checking revisited. - Marek Chalupa; Jan Strejcek; Martina Vitovská (Int. J. Softw. Tools Technol. Transf., 2020)

Symbiotic 6: generating test cases by slicing and symbolic execution. - Marek Chalupa; Martina Vitovská; Tomás Jasek; Michael Simácek; Jan Strejcek (Int. J. Softw. Tools Technol. Transf., 2021)