Masarykova univerzita

Výpis publikací

česky | in English

Filtrování publikací

    2024

    1. Fizzer: New Gray-Box Fuzzer
      JONÁŠ, Martin, Jan STREJČEK, Marek TRTÍK a Lukáš URBAN. Fizzer: New Gray-Box Fuzzer. Online. In Dirk Beyer and Ana Cavalcanti. Fundamental Approaches to Software Engineering - 27th International Conference, FASE 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. Cham (Švýcarsko): Springer, 2024, s. 309-313. ISBN 978-3-031-57258-6. Dostupné z: https://dx.doi.org/10.1007/978-3-031-57259-3_17.
      URL
      RIV: Stať ve sborníku. angličtina. Německo.
      Jonáš, Martin (203 Česká republika, domácí) -- Strejček, Jan (203 Česká republika, garant, domácí) -- Trtík, Marek (203 Česká republika, domácí) -- Urban, Lukáš (703 Slovensko, domácí)
      Klíčová slova anglicky: fuzzing; test generation; atomic Boolean expression; Fizzer
      Druh sborníku: předkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: prof. RNDr. Jan Strejček, Ph.D., učo 3366. Změněno: 24. 4. 2024 13:49.
      Podrobněji: https://is.muni.cz/publication/2396652/cs
    2. Gray-Box Fuzzing via Gradient Descent and Boolean Expression Coverage
      JONÁŠ, Martin, Jan STREJČEK, Marek TRTÍK a Lukáš URBAN. Gray-Box Fuzzing via Gradient Descent and Boolean Expression Coverage. 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, s. 90-109. ISBN 978-3-031-57255-5. Dostupné z: https://dx.doi.org/10.1007/978-3-031-57256-2_5.
      URL
      RIV: Stať ve sborníku. angličtina. Německo.
      Jonáš, Martin (203 Česká republika, domácí) -- Strejček, Jan (203 Česká republika, garant, domácí) -- Trtík, Marek (203 Česká republika, domácí) -- Urban, Lukáš (703 Slovensko, domácí)
      Klíčová slova anglicky: fuzzing; test generation; atomic Boolean expression; Fizzer
      Druh sborníku: předkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: prof. RNDr. Jan Strejček, Ph.D., učo 3366. Změněno: 24. 4. 2024 13:33.
      Podrobněji: https://is.muni.cz/publication/2396438/cs
    3. 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Á a 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, s. 406-411. ISBN 978-3-031-57255-5. Dostupné z: https://dx.doi.org/10.1007/978-3-031-57256-2_29.
      URL
      RIV: Stať ve sborníku. angličtina. Německo.
      Jonáš, Martin (203 Česká republika, garant, domácí) -- Kumor, Kristián (703 Slovensko, domácí) -- Novák, Jakub (703 Slovensko, domácí) -- Sedláček, Jindřich (203 Česká republika, domácí) -- Trtík, Marek (203 Česká republika, domácí) -- Zaoral, Lukáš (203 Česká republika) -- Ayaziová, Paulína (703 Slovensko, domácí) -- Strejček, Jan (203 Česká republika, domácí)
      Klíčová slova anglicky: symbolic execution; software verification; Symbiotic
      Druh sborníku: předkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: prof. RNDr. Jan Strejček, Ph.D., učo 3366. Změněno: 24. 4. 2024 13:32.
      Podrobněji: https://is.muni.cz/publication/2396645/cs

    2023

    1. A.D.A.P.T. Software (software)
      PLISKA, Pavel, Mikoláš JURDA, Adriana STREJČKOVÁ, Marek TRTÍK, Patrik BAŠO, Radoslav BEŇA, Lukáš RAJNOHA, Štěpán DVOŘÁČEK, Martin ČUTA, Dominik ČERNÝ a Petra URBANOVÁ. A.D.A.P.T. Software. 2023.
      URL
      Název česky: A.D.A.P.T. Software
      Název anglicky: A.D.A.P.T. Software
      RIV/00216224:14610/23:00133830 Software. čeština. Česká republika.
      Pliska, Pavel (203 Česká republika, domácí) -- Jurda, Mikoláš (203 Česká republika, garant, domácí) -- Strejčková, Adriana (203 Česká republika, domácí) -- Trtík, Marek (203 Česká republika, domácí) -- Bašo, Patrik (703 Slovensko, domácí) -- Beňa, Radoslav (703 Slovensko, domácí) -- Rajnoha, Lukáš (703 Slovensko, domácí) -- Dvořáček, Štěpán (203 Česká republika) -- Čuta, Martin (203 Česká republika, domácí) -- Černý, Dominik (203 Česká republika, domácí) -- Urbanová, Petra (203 Česká republika, domácí)
      Klíčová slova anglicky: anthropometry; body parameters; ergonomy; human-centered design; personal protective equipment; 3D body scans
      Mezinárodní význam: ano
      Změnila: Mgr. Adriana Strejčková, učo 1000. Změněno: 22. 3. 2024 19:36.
      Podrobněji: https://is.muni.cz/publication/2386039/cs

    2022

    1. Symbiotic 9.1 (software)
      CHALUPA, Marek, Jakub NOVÁK, Marek TRTÍK, Lukáš ZAORAL a Jan STREJČEK. Symbiotic 9.1. 2022.
      Odkaz na stránku software
      angličtina. Česká republika.
      Klíčová slova anglicky: Symbiotic; symbolic execution; slicing; bug-finding
      Mezinárodní význam: ano
      Změnil: prof. RNDr. Jan Strejček, Ph.D., učo 3366. Změněno: 7. 11. 2023 15:16.
      Podrobněji: https://is.muni.cz/publication/2336017/cs

    2018

    1. JBMC: A Bounded Model Checking Tool for Verifying Java Bytecode
      CORDEIRO, Lucas, Pascal KESSELI, Daniel KROENING, Peter SCHRAMMEL a Marek TRTÍK. JBMC: A Bounded Model Checking Tool for Verifying Java Bytecode. In Hana Chockler and Georg Weissenbacher. COMPUTER AIDED VERIFICATION (CAV 2018), PT I. 30th. Oxford, UK: Lecture Notes in Computer Science, 2018, s. 183-190. ISSN 0302-9743. Dostupné z: https://dx.doi.org/10.1007/978-3-319-96145-3_10.
      URL
      Název anglicky: JBMC: A Bounded Model Checking Tool for Verifying Java Bytecode

      Klíčová slova anglicky: JBMC; Bounded Model Checking; Java
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: Mgr. Marek Trtík, Ph.D., učo 329313. Změněno: 10. 3. 2023 15:03.
      Podrobněji: https://is.muni.cz/publication/2266237/cs

    2016

    1. From Low-Level Pointers to High-Level Containers
      DUDKA, Kamil, Lukáš HOLÍK, Petr PERINGER, Marek TRTÍK a Tomáš VOJNAR. From Low-Level Pointers to High-Level Containers. In B. Jobstmann, K. Rustan, M. Leino. Verification, Model Checking, and Abstract Interpretation. LNCS, VMCAI 2016. St. Petersburg, Florida, United States: Springer, Switzerland, 2016, s. 431-452. ISBN 978-3-662-49121-8. Dostupné z: https://dx.doi.org/10.1007/978-3-662-49122-5_21.
      RIV/00216224:14330/16:00089165 Stať ve sborníku. Počítačový hardware a software. angličtina. Švýcarsko.
      Dudka, Kamil (203 Česká republika) -- Holík, Lukáš (203 Česká republika) -- Peringer, Petr (203 Česká republika) -- Trtík, Marek (203 Česká republika, domácí) -- Vojnar, Tomáš (203 Česká republika, garant)
      Klíčová slova anglicky: Shape analysis; list; program transformation
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 14. 5. 2020 15:18.
      Podrobněji: https://is.muni.cz/publication/1316339/cs
    2. Tighter Loop Bound Analysis
      ČADEK, Pavel, Jan STREJČEK a Marek TRTÍK. Tighter Loop Bound Analysis. In Cyrille Artho and Axel Legay and Doron Peled. Automated Technology for Verification and Analysis - 14th International Symposium, ATVA 2016. Berlin, Heidelberg: Springer, 2016, s. 512-527. ISBN 978-3-319-46519-7. Dostupné z: https://dx.doi.org/10.1007/978-3-319-46520-3_32.
      RIV/00216224:14330/16:00088246 Stať ve sborníku. Informatika. angličtina. Německo.
      Čadek, Pavel (203 Česká republika) -- Strejček, Jan (203 Česká republika, garant, domácí) -- Trtík, Marek (203 Česká republika)
      Klíčová slova anglicky: loop bounds; symbolic execution
      Druh sborníku: předkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 13. 5. 2020 19:27.
      Podrobněji: https://is.muni.cz/publication/1357166/cs

    2014

    1. Symbolic Memory with Pointers
      TRTÍK, Marek a Jan STREJČEK. Symbolic Memory with Pointers. In Franck Cassez and Jean-Francois Raskin. Automated Technology for Verification and Analysis - 12th International Symposium, ATVA 2014. Berlin Heidelberg: Springer, 2014, s. 380-395. ISBN 978-3-319-11935-9. Dostupné z: https://dx.doi.org/10.1007/978-3-319-11936-6_27.
      Název česky: Symbolická paměť s ukazateli
      RIV/00216224:14330/14:00074092 Stať ve sborníku. Informatika. angličtina. Německo.
      Trtík, Marek (203 Česká republika, domácí) -- Strejček, Jan (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: symbolic execution; symbolic memory
      Druh sborníku: předkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: prof. RNDr. Jan Strejček, Ph.D., učo 3366. Změněno: 13. 11. 2014 16:23.
      Podrobněji: https://is.muni.cz/publication/1205943/cs

    2013

    1. ClabureDB: Classified Bug-Reports Database Tool for Developers of Program Analysis Tools
      SLABÝ, Jiří, Jan STREJČEK a Marek TRTÍK. ClabureDB: Classified Bug-Reports Database Tool for Developers of Program Analysis Tools. In Roberto Giacobazzi, Josh Berdine, Isabella Mastroeni. Verification, Model Checking, and Abstract Interpretation: 14th International Conference, VMCAI 2013. Berlin, Heidelberg: Springer, 2013, s. 268-274. ISBN 978-3-642-35872-2. Dostupné z: https://dx.doi.org/10.1007/978-3-642-35873-9_17.
      RIV/00216224:14330/13:00065952 Stať ve sborníku. Informatika. angličtina. Německo.
      Slabý, Jiří (203 Česká republika, garant, domácí) -- Strejček, Jan (203 Česká republika, domácí) -- Trtík, Marek (203 Česká republika, domácí)
      Klíčová slova anglicky: Bug database; classified bug-reports
      Druh sborníku: předkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 17. 4. 2014 11:19.
      Podrobněji: https://is.muni.cz/publication/1075388/cs
    2. Compact Symbolic Execution
      SLABÝ, Jiří, Jan STREJČEK a Marek TRTÍK. Compact Symbolic Execution. In Hung Dang-Van and Mizuhito Ogawa. 11th International Symposium on Automated Technology for Verification and Analysis, ATVA 2013. Berlin Heidelberg: Springer, 2013, s. 193-207. ISBN 978-3-319-02443-1. Dostupné z: https://dx.doi.org/10.1007/978-3-319-02444-8_15.
      Název česky: Kompaktní symbolická exekuce
      RIV/00216224:14330/13:00066165 Stať ve sborníku. Informatika. angličtina. Německo.
      Slabý, Jiří (203 Česká republika, domácí) -- Strejček, Jan (203 Česká republika, garant, domácí) -- Trtík, Marek (203 Česká republika, domácí)
      Klíčová slova anglicky: symbolic execution; compact symbolic execution; testing
      Druh sborníku: předkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: prof. RNDr. Jan Strejček, Ph.D., učo 3366. Změněno: 18. 11. 2013 14:45.
      Podrobněji: https://is.muni.cz/publication/1110971/cs
    3. Symbiotic: Synergy of Instrumentation, Slicing, and Symbolic Execution - (Competition Contribution)
      SLABÝ, Jiří, Jan STREJČEK a Marek TRTÍK. Symbiotic: Synergy of Instrumentation, Slicing, and Symbolic Execution - (Competition Contribution). In Nir Piterman, Scott A. Smolka. Tools and Algorithms for the Construction and Analysis of Systems - 19th International Conference, TACAS 2013. Berlin, Heidelberg: Springer, 2013, s. 630-632. ISBN 978-3-642-36741-0. Dostupné z: https://dx.doi.org/10.1007/978-3-642-36742-7_50.
      RIV/00216224:14330/13:00065969 Stať ve sborníku. Informatika. angličtina. Německo.
      Slabý, Jiří (203 Česká republika, garant, domácí) -- Strejček, Jan (203 Česká republika, domácí) -- Trtík, Marek (203 Česká republika, domácí)
      Klíčová slova anglicky: instrumentation; symbolic execution; program slicing
      Druh sborníku: předkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 27. 4. 2014 22:59.
      Podrobněji: https://is.muni.cz/publication/1078253/cs

    2012

    1. Abstracting Path Conditions
      STREJČEK, Jan a Marek TRTÍK. Abstracting Path Conditions. In Mats Per Erik Heimdahl, Zhendong Su. Proceedings of the 2012 International Symposium on Software Testing and Analysis, ISSTA 2012. New York, NY, USA: ACM, 2012, s. 155-165. ISBN 978-1-4503-1454-1. Dostupné z: https://dx.doi.org/10.1145/2338965.2336772.
      URL
      RIV/00216224:14330/12:00057592 Stať ve sborníku. Informatika. angličtina. Česká republika.
      Strejček, Jan (203 Česká republika, garant, domácí) -- Trtík, Marek (203 Česká republika, domácí)
      Klíčová slova anglicky: Symbolic execution; Path conditions; Program location reachability; Tests generation
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: prof. RNDr. Jan Strejček, Ph.D., učo 3366. Změněno: 7. 1. 2016 22:12.
      Podrobněji: https://is.muni.cz/publication/991970/cs
    2. ClabureDB (software)
      SLABÝ, Jiří, Jan STREJČEK a Marek TRTÍK. ClabureDB. 2012.
      ClabureDB
      RIV/00216224:14330/12:00062341 Software. Informatika. angličtina. Česká republika.
      Slabý, Jiří (203 Česká republika, garant, domácí) -- Strejček, Jan (203 Česká republika, domácí) -- Trtík, Marek (203 Česká republika, domácí)
      Klíčová slova anglicky: Bug database; classified bug-reports
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 23. 4. 2013 05:57.
      Podrobněji: https://is.muni.cz/publication/1078252/cs
    3. Checking Properties Described by State Machines: On Synergy of Instrumentation, Slicing, and Symbolic Execution
      SLABÝ, Jiří, Jan STREJČEK a Marek TRTÍK. Checking Properties Described by State Machines: On Synergy of Instrumentation, Slicing, and Symbolic Execution. In Mariëlle Stoelinga, Ralf Pinger. Formal Methods for Industrial Critical systems: 17th International Workshop, FMICS 2012. Berlin, Heidelberg: Springer, 2012, s. 207-221. ISBN 978-3-642-32468-0. Dostupné z: https://dx.doi.org/10.1007/978-3-642-32469-7_14.
      URL
      RIV/00216224:14330/12:00057431 Stať ve sborníku. Informatika. angličtina. Německo.
      Slabý, Jiří (203 Česká republika, domácí) -- Strejček, Jan (203 Česká republika, garant, domácí) -- Trtík, Marek (203 Česká republika, domácí)
      Klíčová slova anglicky: Bug finding; Symbolic execution; Program slicing; FSM property specification; Code instrumentation
      Druh sborníku: předkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: Mgr. Jiří Slabý, Ph.D., učo 98734. Změněno: 20. 1. 2013 11:34.
      Podrobněji: https://is.muni.cz/publication/984069/cs
    4. STANSE: Bug-finding Framework for C Programs
      OBDRŽÁLEK, Jan, Jiří SLABÝ a Marek TRTÍK. STANSE: Bug-finding Framework for C Programs. In LNCS Proceeding of Memics 2011. Brno: Springer, 2012, s. 167-178. ISBN 978-3-642-25928-9. Dostupné z: https://dx.doi.org/10.1007/978-3-642-25929-6_16.
      RIV/00216224:14330/12:00067325 Stať ve sborníku. Počítačový hardware a software. angličtina. Česká republika.
      Obdržálek, Jan (203 Česká republika, garant, domácí) -- Slabý, Jiří (203 Česká republika, domácí) -- Trtík, Marek (203 Česká republika, domácí)
      Klíčová slova anglicky: Bug-finding; static analysis; framework; checker
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 29. 4. 2014 12:57.
      Podrobněji: https://is.muni.cz/publication/956059/cs
    5. Symbiotic (software)
      SLABÝ, Jiří, Jan STREJČEK a Marek TRTÍK. Symbiotic. 2012.
      Odkaz na stránku software
      RIV/00216224:14330/12:00062340 Software. Informatika. angličtina. Česká republika.
      Slabý, Jiří (203 Česká republika, garant, domácí) -- Strejček, Jan (203 Česká republika, domácí) -- Trtík, Marek (203 Česká republika, domácí)
      Klíčová slova anglicky: symbolic execution; slicing; bug-finding
      Mezinárodní význam: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 23. 4. 2013 05:58.
      Podrobněji: https://is.muni.cz/publication/1078249/cs

    2011

    1. Efficient Loop Navigation for Symbolic Execution
      OBDRŽÁLEK, Jan a Marek TRTÍK. Efficient Loop Navigation for Symbolic Execution. In Tevfik Bultan and Pao-Ann Hsiung. Automated Technology for Verification and Analysis, 9th International Symposium, ATVA 2011. Heidelberg: Springer-Verlag, 2011, s. 453-462. ISBN 978-3-642-24371-4. Dostupné z: https://dx.doi.org/10.1007/978-3-642-24372-1_34.
      RIV/00216224:14330/11:00052855 Stať ve sborníku. Informatika. angličtina. Česká republika.
      Obdržálek, Jan (203 Česká republika, garant, domácí) -- Trtík, Marek (203 Česká republika, domácí)
      Klíčová slova anglicky: symbolic execution; loops in programs; program verification; bug-finding
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: doc. Mgr. Jan Obdržálek, PhD., učo 1552. Změněno: 16. 4. 2012 11:02.
      Podrobněji: https://is.muni.cz/publication/947610/cs

    2010

    1. Counter-based Abstraction for Symbolic Execution
      TRTÍK, Marek. Counter-based Abstraction for Symbolic Execution. In YRF@MFCSL 2010. 2010.
      Název anglicky: Counter-based Abstraction for Symbolic Execution

      Druh účasti: aktivní účast
      Recenzováno: ano
      Změnil: Mgr. Marek Trtík, Ph.D., učo 329313. Změněno: 16. 9. 2011 16:11.
      Podrobněji: https://is.muni.cz/publication/947607/cs
Zobrazeno: 14. 5. 2024 06:17