Marek Trtík

According to our database, Marek Trtík authored at least 22 papers between 2011 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Gray-Box Fuzzing via Gradient Descent and Boolean Expression Coverage (Technical Report).

Martin Jonás, Jan Strejcek, Marek Trtík, Lukás Urban

CoRR, 2024

Gray-Box Fuzzing via Gradient Descent and Boolean Expression Coverage.

Martin Jonás, Jan Strejcek, Marek Trtík, Lukás Urban

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024

Symbiotic 10: Lazy Memory Initialization and Compact Symbolic Execution - (Competition Contribution).

Martin Jonás, Kristián Kumor, Jakub Novák, Jindrich Sedlácek, Marek Trtík, Lukás Zaoral, Paulína Ayaziová, Jan Strejcek

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024

Fizzer: New Gray-Box Fuzzer - (Competition Contribution).

Martin Jonás, Jan Strejcek, Marek Trtík, Lukás Urban

Proceedings of the Fundamental Approaches to Software Engineering, 2024

2018

JBMC: A Bounded Model Checking Tool for Verifying Java Bytecode.

Lucas C. Cordeiro, Pascal Kesseli, Daniel Kroening, Peter Schrammel, Marek Trtík

Proceedings of the Computer Aided Verification - 30th International Conference, 2018

2016

Tighter Loop Bound Analysis (Technical report).

Pavel Cadek, Jan Strejcek, Marek Trtík

CoRR, 2016

From Low-Level Pointers to High-Level Containers.

Kamil Dudka, Lukás Holík, Petr Peringer, Marek Trtík, Tomás Vojnar

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2016

Predator Shape Analysis Tool Suite.

Lukás Holík, Michal Kotoun, Petr Peringer, Veronika Soková, Marek Trtík, Tomás Vojnar

Proceedings of the Hardware and Software: Verification and Testing, 2016

Tighter Loop Bound Analysis.

Pavel Cadek, Jan Strejcek, Marek Trtík

Proceedings of the Automated Technology for Verification and Analysis, 2016

2015

Anonymous On-line Communication Between Program Analyses.

Marek Trtík

CoRR, 2015

2014

Symbolic Memory with Pointers.

Marek Trtík, Jan Strejcek

Proceedings of the Automated Technology for Verification and Analysis, 2014

2013

ClabureDB: Classified Bug-Reports Database.

Jiri Slaby, Jan Strejcek, Marek Trtík

Proceedings of the Verification, 2013

Symbiotic: Synergy of Instrumentation, Slicing, and Symbolic Execution - (Competition Contribution).

Jiri Slaby, Jan Strejcek, Marek Trtík

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2013

Compact Symbolic Execution.

Jiri Slaby, Jan Strejcek, Marek Trtík

Proceedings of the Automated Technology for Verification and Analysis, 2013

2012

Compact Symbolic Execution (technical report)

Marek Trtík

CoRR, 2012

On Synergy of Metal, Slicing, and Symbolic Execution

Jiri Slaby, Jan Strejcek, Marek Trtík

CoRR, 2012

Compact Symbolic Execution

Marek Trtík

CoRR, 2012

Abstracting path conditions.

Jan Strejcek, Marek Trtík

Proceedings of the International Symposium on Software Testing and Analysis, 2012

Checking Properties Described by State Machines: On Synergy of Instrumentation, Slicing, and Symbolic Execution.

Jiri Slaby, Jan Strejcek, Marek Trtík

Proceedings of the Formal Methods for Industrial Critical Systems, 2012

2011

Abstracting Path Conditions for Effective Symbolic Execution

Marek Trtík

CoRR, 2011

STANSE: Bug-Finding Framework for C Programs.

Jan Obdrzálek, Jiri Slaby, Marek Trtík

Proceedings of the Mathematical and Engineering Methods in Computer Science, 2011

Efficient Loop Navigation for Symbolic Execution.

Jan Obdrzálek, Marek Trtík

Proceedings of the Automated Technology for Verification and Analysis, 2011