Marek Trtík

31 papers A 2B 9C 1Journal 14Unranked 5
YearRankTypeTitle / Venue / Authors
2026 B conf
TestCoCa: Test-Suite Coverage Calculator (Competition Contribution).
FASE
Martin Ergang, Marek Trtík
2025 B conf
Fizzer with Local Space Fuzzing - (Competition Contribution).
FASE
Martin Jonás, Jan Strejcek, Marek Trtík
2025 J jnl
Gray-Box Fuzzing in Local Space.
CoRR
Martin Jonás, Jan Strejcek, Marek Trtík
2024 J jnl
Antarstick: Extracting Snow Height From Time-Lapse Photography.
Comput. Graph. Forum
Matej Lang, Radoslav Mráz, Marek Trtík, Sergej Stoppel, Jan Byska, Barbora Kozlíková
2024 B conf
Fizzer: New Gray-Box Fuzzer - (Competition Contribution).
FASE
Martin Jonás, Jan Strejcek, Marek Trtík, Lukás Urban
2024 J jnl
Gray-Box Fuzzing via Gradient Descent and Boolean Expression Coverage (Technical Report).
CoRR
Martin Jonás, Jan Strejcek, Marek Trtík, Lukás Urban
2024 — conf
Gray-Box Fuzzing via Gradient Descent and Boolean Expression Coverage.
TACAS (3)
Martin Jonás, Jan Strejcek, Marek Trtík, Lukás Urban
2024 — conf
Symbiotic 10: Lazy Memory Initialization and Compact Symbolic Execution - (Competition Contribution).
TACAS (3)
Martin Jonás, Kristián Kumor, Jakub Novák, Jindrich Sedlácek, Marek Trtík, Lukás Zaoral, Paulína Ayaziová, Jan Strejcek
2018 — conf
JBMC: A Bounded Model Checking Tool for Verifying Java Bytecode.
CAV (1)
Lucas C. Cordeiro, Pascal Kesseli, Daniel Kroening, Peter Schrammel, Marek Trtík
2016 B conf
From Low-Level Pointers to High-Level Containers.
VMCAI
Kamil Dudka, Lukás Holík, Petr Peringer, Marek Trtík, Tomás Vojnar
2016 — conf
Predator Shape Analysis Tool Suite.
Haifa Verification Conference
Lukás Holík, Michal Kotoun, Petr Peringer, Veronika Soková, Marek Trtík, Tomás Vojnar
2016 J jnl
Tighter Loop Bound Analysis (Technical report).
CoRR
Pavel Cadek, Jan Strejcek, Marek Trtík
2016 B conf
Tighter Loop Bound Analysis.
ATVA
Pavel Cadek, Jan Strejcek, Marek Trtík
2015 J jnl
Anonymous On-line Communication Between Program Analyses.
CoRR
Marek Trtík
2015 J jnl
Anonymous On-line Communication Between Program Analyses.
CoRR
Marek Trtík
2015 J jnl
From Low-Level Pointers to High-Level Containers.
CoRR
Kamil Dudka, Lukás Holík, Petr Peringer, Marek Trtík, Tomás Vojnar
2014 B conf
Symbolic Memory with Pointers.
ATVA
Marek Trtík, Jan Strejcek
2013 B conf
ClabureDB: Classified Bug-Reports Database.
VMCAI
Jiri Slaby, Jan Strejcek, Marek Trtík
2013 B conf
Compact Symbolic Execution.
ATVA
Jiri Slaby, Jan Strejcek, Marek Trtík
2013 A conf
Symbiotic: Synergy of Instrumentation, Slicing, and Symbolic Execution - (Competition Contribution).
TACAS
Jiri Slaby, Jan Strejcek, Marek Trtík
2012 A conf
Abstracting path conditions.
ISSTA
Jan Strejcek, Marek Trtík
2012 C conf
Checking Properties Described by State Machines: On Synergy of Instrumentation, Slicing, and Symbolic Execution.
FMICS
Jiri Slaby, Jan Strejcek, Marek Trtík
2012 J jnl
Compact Symbolic Execution
CoRR
Marek Trtík
2012 J jnl
Compact Symbolic Execution (technical report)
CoRR
Marek Trtík
2012 J jnl
On Synergy of Metal, Slicing, and Symbolic Execution
CoRR
Jiri Slaby, Jan Strejcek, Marek Trtík
2012 J jnl
STANSE: Bug-finding Framework for C Programs
CoRR
Jan Obdrzálek, Jiri Slaby, Marek Trtík
2011 J jnl
Abstracting Path Conditions
CoRR
Jan Strejcek, Marek Trtík
2011 J jnl
Abstracting Path Conditions for Effective Symbolic Execution
CoRR
Marek Trtík
2011 J jnl
Efficient Loop Navigation for Symbolic Execution
CoRR
Jan Obdrzálek, Marek Trtík
2011 B conf
Efficient Loop Navigation for Symbolic Execution.
ATVA
Jan Obdrzálek, Marek Trtík
2011 — conf
STANSE: Bug-Finding Framework for C Programs.
MEMICS
Jan Obdrzálek, Jiri Slaby, Marek Trtík