Symbiotic 2: More Precise Slicing - (Competition Contribution) - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Jiri Slaby, Jan Strejcek. Symbiotic 2: More Precise Slicing - (Competition Contribution). In Erika Ábrahám, Klaus Havelund, editors, Tools and Algorithms for the Construction and Analysis of Systems - 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proceedings. Volume 8413 of Lecture Notes in Computer Science, pages 415-417, Springer, 2014. [doi]

The following publications are possibly variants of this publication:

Symbiotic-Witch 2: More Efficient Algorithm and Witness Refutation - (Competition Contribution)Paulína Ayaziová, Jan Strejcek. TACAS 2023: 523-528 [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: Synergy of Instrumentation, Slicing, and Symbolic Execution - (Competition Contribution)Jiri Slaby, Jan Strejcek, Marek Trtík. TACAS 2013: 630-632 [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 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]

runs on WebDSL