Masaryk University

Publication Records

česky | in English

Filter publications

    2024

    1. Symbiotic 10: Lazy Memory Initialization and Compact Symbolic Execution
      JONÁŠ, Martin, Kristián KUMOR, Jakub NOVÁK, Jindřich SEDLÁČEK, Marek TRTÍK, Lukáš ZAORAL, Paulína AYAZIOVÁ and Jan STREJČEK. Symbiotic 10: Lazy Memory Initialization and Compact Symbolic Execution. Online. In Bernd Finkbeiner and Laura Kovács. Tools and Algorithms for the Construction and Analysis of Systems - 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part III. Cham (Švýcarsko): Springer, 2024, p. 406-411. ISBN 978-3-031-57255-5. Available from: https://dx.doi.org/10.1007/978-3-031-57256-2_29.
      URL
      RIV: Proceedings paper. English. Germany.
      Jonáš, Martin (203 Czech Republic, guarantor, belonging to the institution) -- Kumor, Kristián (703 Slovakia, belonging to the institution) -- Novák, Jakub (703 Slovakia, belonging to the institution) -- Sedláček, Jindřich (203 Czech Republic, belonging to the institution) -- Trtík, Marek (203 Czech Republic, belonging to the institution) -- Zaoral, Lukáš (203 Czech Republic) -- Ayaziová, Paulína (703 Slovakia, belonging to the institution) -- Strejček, Jan (203 Czech Republic, belonging to the institution)
      Keywords in English: symbolic execution; software verification; Symbiotic
      Type of proceedings: pre-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: prof. RNDr. Jan Strejček, Ph.D., učo 3366. Changed: 24/4/2024 13:32.
      More: https://is.muni.cz/publication/2396645/en
    2. Witch 3: Validation of Violation Witnesses in the Witness Format 2.0
      AYAZIOVÁ, Paulína and Jan STREJČEK. Witch 3: Validation of Violation Witnesses in the Witness Format 2.0. Online. In Bernd Finkbeiner and Laura Kovács. Tools and Algorithms for the Construction and Analysis of Systems - 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part III. Cham (Švýcarsko): Springer, 2024, p. 341-346. ISBN 978-3-031-57255-5. Available from: https://dx.doi.org/10.1007/978-3-031-57256-2_18.
      URL
      RIV: Proceedings paper. English. Germany.
      Ayaziová, Paulína (703 Slovakia, belonging to the institution) -- Strejček, Jan (203 Czech Republic, guarantor, belonging to the institution)
      Keywords in English: Witch;witness-validator;SV-COMP;verification witness
      Type of proceedings: pre-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: prof. RNDr. Jan Strejček, Ph.D., učo 3366. Changed: 23/4/2024 18:51.
      More: https://is.muni.cz/publication/2396437/en

    2023

    1. Symbiotic-Witch 2: More Efficient Algorithm and Witness Refutation
      AYAZIOVÁ, Paulína and Jan STREJČEK. Symbiotic-Witch 2: More Efficient Algorithm and Witness Refutation. Online. In Sriram Sankaranarayanan and Natasha Sharygina. Tools and Algorithms for the Construction and Analysis of Systems - 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, Part II. Cham (Švýcarsko): Springer, Cham, 2023, p. 523-528. ISBN 978-3-031-30819-2. Available from: https://dx.doi.org/10.1007/978-3-031-30820-8_30.
      URL
      RIV/00216224:14330/23:00131936 Proceedings paper. English. Switzerland.
      Ayaziová, Paulína (703 Slovakia, belonging to the institution) -- Strejček, Jan (203 Czech Republic, guarantor, belonging to the institution)
      Keywords in English: Witch;witness-validator;SV-COMP;verification witness
      Type of proceedings: pre-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 7/4/2024 23:35.
      More: https://is.muni.cz/publication/2326763/en

    2022

    1. Symbiotic 9: String Analysis and Backward Symbolic Execution with Loop Folding
      CHALUPA, Marek, Vincent MIHALKOVIČ, Anna ŘECHTÁČKOVÁ, Lukáš ZAORAL and Jan STREJČEK. Symbiotic 9: String Analysis and Backward Symbolic Execution with Loop Folding. Online. In Dana Fisman and Grigore Rosu. Tools and Algorithms for the Construction and Analysis of Systems - 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings, Part II. Cham (Švýcarsko): Springer, Cham, 2022, p. 462-467. ISBN 978-3-030-99526-3. Available from: https://dx.doi.org/10.1007/978-3-030-99527-0_32.
      URL
      RIV/00216224:14330/22:00125696 Proceedings paper. English. Switzerland.
      Chalupa, Marek (203 Czech Republic, belonging to the institution) -- Mihalkovič, Vincent (703 Slovakia, belonging to the institution) -- Řechtáčková, Anna (203 Czech Republic, belonging to the institution) -- Zaoral, Lukáš (203 Czech Republic, belonging to the institution) -- Strejček, Jan (203 Czech Republic, guarantor, belonging to the institution)
      Keywords in English: Symbiotic;BSELF;SV-COMP;program analysis;verification
      Type of proceedings: pre-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 28/3/2023 12:49.
      More: https://is.muni.cz/publication/1848419/en
    2. Symbiotic-Witch: A Klee-Based Violation Witness Checker
      AYAZIOVÁ, Paulína, Marek CHALUPA and Jan STREJČEK. Symbiotic-Witch: A Klee-Based Violation Witness Checker. Online. In Dana Fisman and Grigore Rosu. Tools and Algorithms for the Construction and Analysis of Systems - 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings, Part II. Cham (Švýcarsko): Springer, Cham, 2022, p. 468-473. ISBN 978-3-030-99526-3. Available from: https://dx.doi.org/10.1007/978-3-030-99527-0_33.
      URL
      RIV/00216224:14330/22:00125695 Proceedings paper. English. Switzerland.
      Ayaziová, Paulína (703 Slovakia, belonging to the institution) -- Chalupa, Marek (203 Czech Republic, belonging to the institution) -- Strejček, Jan (203 Czech Republic, guarantor, belonging to the institution)
      Keywords in English: Symbiotic;witness-validator;SV-COMP;verification witness
      Type of proceedings: pre-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 28/3/2023 10:40.
      More: https://is.muni.cz/publication/1848418/en

    2021

    1. Backward Symbolic Execution with Loop Folding
      CHALUPA, Marek and Jan STREJČEK. Backward Symbolic Execution with Loop Folding. Online. In Cezara Dragoi, Suvam Mukherjee, and Kedar S. Namjoshi. Static Analysis - 28th International Symposium, SAS 2021, Chicago, IL, USA, October 17-19, 2021, Proceedings. Cham (Switzerland): Springer, 2021, p. 49-76. ISBN 978-3-030-88805-3. Available from: https://dx.doi.org/10.1007/978-3-030-88806-0_3.
      URL
      RIV/00216224:14330/21:00122663 Proceedings paper. English. Switzerland.
      Chalupa, Marek (203 Czech Republic, guarantor, belonging to the institution) -- Strejček, Jan (203 Czech Republic, belonging to the institution)
      Keywords in English: symbolic execution;k-induction;backward symbolic execution;inductive invariants;invariants
      Type of proceedings: pre-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 23/5/2022 15:01.
      More: https://is.muni.cz/publication/1799589/en
    2. Symbiotic 8: Beyond Symbolic Execution
      CHALUPA, Marek, Tomáš JAŠEK, Jakub NOVÁK, Anna ŘECHTÁČKOVÁ, Veronika ŠOKOVÁ and Jan STREJČEK. Symbiotic 8: Beyond Symbolic Execution. In Jan Friso Groote, Kim Guldstrand Larsen. Tools and Algorithms for the Construction and Analysis of Systems - 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings, Part II. Cham (Švýcarsko): Springer, Cham, 2021, p. 453-457. ISBN 978-3-030-72012-4. Available from: https://dx.doi.org/10.1007/978-3-030-72013-1_31.
      URL
      RIV/00216224:14330/21:00121992 Proceedings paper. English. Switzerland.
      Chalupa, Marek (203 Czech Republic, guarantor, belonging to the institution) -- Jašek, Tomáš (703 Slovakia, belonging to the institution) -- Novák, Jakub (703 Slovakia, belonging to the institution) -- Řechtáčková, Anna (203 Czech Republic, belonging to the institution) -- Šoková, Veronika (703 Slovakia) -- Strejček, Jan (203 Czech Republic, belonging to the institution)
      Keywords in English: symbolic execution;k-induction;program slicing;symbiotic;predator;klee
      Type of proceedings: pre-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 15/5/2024 02:10.
      More: https://is.muni.cz/publication/1783925/en
    3. Symbiotic 8: Parallel and Targeted Test Generation
      CHALUPA, Marek, Jakub NOVÁK and Jan STREJČEK. Symbiotic 8: Parallel and Targeted Test Generation. In Esther Guerra and Mariëlle Stoelinga. Fundamental Approaches to Software Engineering - 24th International Conference, FASE 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings. Cham (Switzerland): Springer, 2021, p. 368-372. ISBN 978-3-030-71499-4. Available from: https://dx.doi.org/10.1007/978-3-030-71500-7_20.
      URL
      RIV/00216224:14330/21:00121274 Proceedings paper. English. Switzerland.
      Chalupa, Marek (203 Czech Republic, guarantor, belonging to the institution) -- Novák, Jakub (703 Slovakia, belonging to the institution) -- Strejček, Jan (203 Czech Republic, belonging to the institution)
      Keywords in English: test generation; test coverage; Symbiotic
      Type of proceedings: pre-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 23/5/2022 14:27.
      More: https://is.muni.cz/publication/1753777/en
    4. Symbiotic 6: generating test cases by slicing and symbolic execution
      CHALUPA, Marek, Martina VITOVSKÁ, Tomáš JAŠEK, Michael ŠIMÁČEK and Jan STREJČEK. Symbiotic 6: generating test cases by slicing and symbolic execution. International Journal on Software Tools for Technology Transfer. 2021, vol. 23, No 6, p. 875-877. ISSN 1433-2779. Available from: https://dx.doi.org/10.1007/s10009-020-00573-0.
      URL
      RIV/00216224:14330/21:00118732 Article in a journal. English. Germany.
      Chalupa, Marek (203 Czech Republic, belonging to the institution) -- Vitovská, Martina (203 Czech Republic, belonging to the institution) -- Jašek, Tomáš (703 Slovakia, belonging to the institution) -- Šimáček, Michael (203 Czech Republic, belonging to the institution) -- Strejček, Jan (203 Czech Republic, guarantor, belonging to the institution)
      Keywords in English: Symbiotic;Program Slicing;Symbolic execution;KLEE
      International impact: yes
      Reviewed: yes
      Changed by: prof. RNDr. Jan Strejček, Ph.D., učo 3366. Changed: 23/4/2022 01:11.
      More: https://is.muni.cz/publication/1656857/en
    5. Symbiotic 8 (software)
      CHALUPA, Marek, Tomáš JAŠEK, Jakub NOVÁK, Anna ŘECHTÁČKOVÁ, Veronika ŠOKOVÁ and Jan STREJČEK. Symbiotic 8. 2021.
      Odkaz na stránku software
      RIV/00216224:14330/21:00119972 Software. English. Czech Republic.
      Chalupa, Marek (203 Czech Republic, belonging to the institution) -- Jašek, Tomáš (703 Slovakia, belonging to the institution) -- Novák, Jakub (703 Slovakia, belonging to the institution) -- Řechtáčková, Anna (203 Czech Republic, belonging to the institution) -- Strejček, Jan (203 Czech Republic, guarantor, belonging to the institution)
      Keywords in English: Symbiotic; symbolic execution; slicing; bug-finding
      International impact: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 6/11/2023 10:41.
      More: https://is.muni.cz/publication/1829857/en

    2020

    1. Joint Forces for Memory Safety Checking Revisited
      CHALUPA, Marek, Jan STREJČEK and Martina VITOVSKÁ. Joint Forces for Memory Safety Checking Revisited. International Journal on Software Tools for Technology Transfer (STTT). Springer, 2020, vol. 22, No 2, p. 115-133. ISSN 1433-2779. Available from: https://dx.doi.org/10.1007/s10009-019-00526-2.
      URL
      RIV/00216224:14330/20:00113978 Article in a journal. English. Germany.
      Chalupa, Marek (203 Czech Republic, belonging to the institution) -- Strejček, Jan (203 Czech Republic, guarantor, belonging to the institution) -- Vitovská, Martina (203 Czech Republic, belonging to the institution)
      Keywords in English: memory safety; instrumentation; program slicing; symbolic execution; Symbiotic
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 29/4/2021 07:54.
      More: https://is.muni.cz/publication/1549999/en
    2. Symbiotic 7: Integration of Predator and More (Competition Contribution)
      CHALUPA, Marek, Tomáš JAŠEK, Lukáš TOMOVIČ, Martin HRUŠKA, Veronika ŠOKOVÁ, Paulína AYAZIOVÁ, Jan STREJČEK and Tomáš VOJNAR. Symbiotic 7: Integration of Predator and More (Competition Contribution). In Armin Biere, David Parker. Tools and Algorithms for the Construction and Analysis of Systems. Německo: Springer, 2020, p. 413-417. ISBN 978-3-030-45236-0. Available from: https://dx.doi.org/10.1007/978-3-030-45237-7_31.
      URL
      Name (in English): Symbiotic 7: Integration of Predator and More (Competition Contribution)
      RIV/00216224:14330/20:00114113 Proceedings paper. English. Germany.
      Chalupa, Marek (203 Czech Republic, guarantor, belonging to the institution) -- Jašek, Tomáš (703 Slovakia, belonging to the institution) -- Tomovič, Lukáš (703 Slovakia, belonging to the institution) -- Ayaziová, Paulína (703 Slovakia, belonging to the institution) -- Strejček, Jan (203 Czech Republic, belonging to the institution) -- Vojnar, Tomáš (203 Czech Republic)
      Keywords in English: Symbiotic;Predator;Program Slicing;Termination Analysis;Shape Analysis;Symbolic Execution
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 29/4/2021 12:25.
      More: https://is.muni.cz/publication/1649136/en

    2018

    1. Joint Forces for Memory Safety Checking
      CHALUPA, Marek, Jan STREJČEK and Martina VITOVSKÁ. Joint Forces for Memory Safety Checking. In María-del-Mar Gallardo and Pedro Merino. Model Checking Software. SPIN 2018. Cham, Švýcarsko: Springer, 2018, p. 115-132. ISBN 978-3-319-94110-3. Available from: https://dx.doi.org/10.1007/978-3-319-94111-0_7.
      RIV/00216224:14330/18:00101043 Proceedings paper. English. Germany.
      Chalupa, Marek (203 Czech Republic, belonging to the institution) -- Strejček, Jan (203 Czech Republic, guarantor, belonging to the institution) -- Vitovská, Martina (203 Czech Republic, belonging to the institution)
      Keywords in English: program analysis; program verification; memory safety
      Type of proceedings: post-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 29/4/2019 15:39.
      More: https://is.muni.cz/publication/1423063/en
    2. Symbiotic 5: Boosted Instrumentation (Competition Contribution)
      CHALUPA, Marek, Martina VITOVSKÁ and Jan STREJČEK. Symbiotic 5: Boosted Instrumentation (Competition Contribution). In Dirk Beyer and Marieke Huisman. Tools and Algorithms for the Construction and Analysis of Systems, 24th International Conference, Proceedings, Part II. Berlin: Springer, 2018, p. 442-446. ISBN 978-3-319-89963-3. Available from: https://dx.doi.org/10.1007/978-3-319-89963-3_29.
      RIV/00216224:14330/18:00100910 Proceedings paper. English. Germany.
      Chalupa, Marek (203 Czech Republic, belonging to the institution) -- Vitovská, Martina (203 Czech Republic, belonging to the institution) -- Strejček, Jan (203 Czech Republic, guarantor, belonging to the institution)
      Keywords in English: Symbiotic; program analysis; program verification; SV-COMP 2018
      Type of proceedings: post-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: prof. RNDr. Jan Strejček, Ph.D., učo 3366. Changed: 28/9/2019 14:33.
      More: https://is.muni.cz/publication/1415064/en

    2017

    1. Symbiotic 4: Beyond Reachability (Competition Contribution)
      CHALUPA, Marek, Martina VITOVSKÁ, Martin JONÁŠ, Jiří SLABÝ and Jan STREJČEK. Symbiotic 4: Beyond Reachability (Competition Contribution). In Axel Legay, Tiziana Margaria. Tools and Algorithms for the Construction and Analysis of Systems: 23rd International Conference. Berlin: Springer Berlin Heidelberg, 2017, p. 385-389. ISBN 978-3-662-54580-5. Available from: https://dx.doi.org/10.1007/978-3-662-54580-5_28.
      URL
      RIV/00216224:14330/17:00095057 Proceedings paper. Informatics. English. Germany.
      Chalupa, Marek (203 Czech Republic, belonging to the institution) -- Vitovská, Martina (203 Czech Republic, belonging to the institution) -- Jonáš, Martin (203 Czech Republic, belonging to the institution) -- Slabý, Jiří (203 Czech Republic, belonging to the institution) -- Strejček, Jan (203 Czech Republic, guarantor, belonging to the institution)
      Keywords in English: Symbiotic; program analysis; program verification; SV-COMP 2017
      Type of proceedings: pre-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 13/5/2020 19:22.
      More: https://is.muni.cz/publication/1392166/en

    2016

    1. Symbiotic 3: New Slicer and Error-Witness Generation (Competition Contribution)
      CHALUPA, Marek, Martin JONÁŠ, Jiří SLABÝ, Jan STREJČEK and Martina VITOVSKÁ. Symbiotic 3: New Slicer and Error-Witness Generation (Competition Contribution). In Marsha Chechik and Jean-Francois Raskin. Tools and Algorithms for the Construction and Analysis of Systems - 22nd International Conference, TACAS 2016. Berlin, Heidelberg: Springer, 2016, p. 946-949. ISBN 978-3-662-49673-2. Available from: https://dx.doi.org/10.1007/978-3-662-49674-9_67.
      RIV/00216224:14330/16:00088244 Proceedings paper. Informatics. English. Germany.
      Chalupa, Marek (203 Czech Republic, belonging to the institution) -- Jonáš, Martin (203 Czech Republic, belonging to the institution) -- Slabý, Jiří (203 Czech Republic, belonging to the institution) -- Strejček, Jan (203 Czech Republic, guarantor, belonging to the institution) -- Vitovská, Martina (203 Czech Republic, belonging to the institution)
      Keywords in English: instrumentation; symbolic execution; program slicing
      Type of proceedings: pre-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 13/5/2020 19:22.
      More: https://is.muni.cz/publication/1357163/en
Displayed: 24/9/2024 13:14