JBMC: A bounded model checking tool for verifying Java bytecode L Cordeiro, P Kesseli, D Kroening, P Schrammel, M Trtik International Conference on Computer Aided Verification, 183-190, 2018 | 85 | 2018 |
Abstracting path conditions J Strejček, M Trtík Proceedings of the 2012 International Symposium on Software Testing and …, 2012 | 38 | 2012 |
Checking properties described by state machines: On synergy of instrumentation, slicing, and symbolic execution J Slabý, J Strejček, M Trtík Formal Methods for Industrial Critical Systems: 17th International Workshop …, 2012 | 32 | 2012 |
Symbiotic: Synergy of Instrumentation, Slicing, and Symbolic Execution: (Competition Contribution) J Slaby, J Strejček, M Trtík Tools and Algorithms for the Construction and Analysis of Systems: 19th …, 2013 | 31 | 2013 |
Symbolic memory with pointers M Trtik, J Strejček International Symposium on Automated Technology for Verification and …, 2014 | 26 | 2014 |
Predator shape analysis tool suite L Holík, M Kotoun, P Peringer, V Šoková, M Trtík, T Vojnar Hardware and Software: Verification and Testing: 12th International Haifa …, 2016 | 24 | 2016 |
Efficient loop navigation for symbolic execution J Obdržálek, M Trtík International Symposium on Automated Technology for Verification and …, 2011 | 24 | 2011 |
Compact symbolic execution J Slaby, J Strejček, M Trtík Automated Technology for Verification and Analysis: 11th International …, 2013 | 22 | 2013 |
ClabureDB: Classified Bug-Reports Database: Tool for Developers of Program Analysis Tools J Slaby, J Strejček, M Trtík Verification, Model Checking, and Abstract Interpretation: 14th …, 2013 | 13 | 2013 |
Symbolic execution and program loops M Trtík Brno, Czech Republic, 2013 | 10 | 2013 |
STANSE: bug-finding framework for c programs J Obdržálek, J Slabý, M Trtík Mathematical and Engineering Methods in Computer Science: 7th International …, 2012 | 8 | 2012 |
From low-level pointers to high-level containers K Dudka, L Holík, P Peringer, M Trtík, T Vojnar Verification, Model Checking, and Abstract Interpretation: 17th …, 2016 | 5 | 2016 |
Symbiotic 10: Lazy Memory Initialization and Compact Symbolic Execution: (Competition Contribution) M Jonáš, K Kumor, J Novák, J Sedláček, M Trtík, L Zaoral, P Ayaziová, ... International Conference on Tools and Algorithms for the Construction and …, 2024 | 3 | 2024 |
Tighter loop bound analysis P Čadek, J Strejček, M Trtík Automated Technology for Verification and Analysis: 14th International …, 2016 | 3 | 2016 |
Gray-box fuzzing via gradient descent and Boolean expression coverage M Jonáš, J Strejček, M Trtík, L Urban International Conference on Tools and Algorithms for the Construction and …, 2024 | 1 | 2024 |
Abstracting Path Conditions for Effective Symbolic Execution M Trtík arXiv preprint arXiv:1112.4703, 2011 | 1 | 2011 |
Fizzer: New Gray-Box Fuzzer: (Competition Contribution) M Jonáš, J Strejček, M Trtík, L Urban International Conference on Fundamental Approaches to Software Engineering …, 2024 | | 2024 |
Gray-Box Fuzzing via Gradient Descent and Boolean Expression Coverage (Technical Report) M Jonáš, J Strejček, M Trtík, L Urban arXiv preprint arXiv:2401.12643, 2024 | | 2024 |
Symbiotic 9.1 M Chalupa, J Novák, M Trtík, L Zaoral, J Strejček | | 2022 |
JBMC: A Bounded Model Checking Tool for Verifying Java Bytecode P Kesseli, M Trtik | | 2018 |