Marek Trtík

Publication Activity (10 Years)

Years Active: 2011-2024
Publications (10 Years): 10

Top Topics

Boolean Expressions

Bounded Model Checking

Top Venues

Publications

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