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 (2), 2020)

Symbiotic 8: Beyond Symbolic Execution - (Competition Contribution). - Marek Chalupa; Tomás Jasek; Jakub Novák; Anna Rechtácková; Veronika Soková; Jan Strejcek (TACAS (2), 2021)

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)