Publication Records

JONÁŠ, Martin, Jan STREJČEK, Marek TRTÍK and 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, p. 309-313. ISBN 978-3-031-57258-6. Available from: https://dx.doi.org/10.1007/978-3-031-57259-3_17.

JONÁŠ, Martin, Jan STREJČEK, Marek TRTÍK and 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, p. 90-109. ISBN 978-3-031-57255-5. Available from: https://dx.doi.org/10.1007/978-3-031-57256-2_5.

JONÁŠ, Martin, Kristián KUMOR, Jakub NOVÁK, Jindřich SEDLÁČEK, Marek TRTÍK, Lukáš ZAORAL, Paulína AYAZIOVÁ and 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, p. 406-411. ISBN 978-3-031-57255-5. Available from: https://dx.doi.org/10.1007/978-3-031-57256-2_29.

AYAZIOVÁ, Paulína and Jan STREJČEK. Witch 3: Validation of Violation Witnesses in the Witness Format 2.0. 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, p. 341-346. ISBN 978-3-031-57255-5. Available from: https://dx.doi.org/10.1007/978-3-031-57256-2_18.

AYAZIOVÁ, Paulína and Jan STREJČEK. Symbiotic-Witch 2: More Efficient Algorithm and Witness Refutation. Online. In Sriram Sankaranarayanan and Natasha Sharygina. Tools and Algorithms for the Construction and Analysis of Systems - 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, Part II. Cham (Švýcarsko): Springer, Cham, 2023, p. 523-528. ISBN 978-3-031-30819-2. Available from: https://dx.doi.org/10.1007/978-3-031-30820-8_30.

BEYER, Dirk and Jan STREJČEK. Case Study on Verification-Witness Validators: Where We Are and Where We Go. Online. In Gagandeep Singh, Caterina Urban. Static Analysis - 29th International Symposium, SAS 2022, Auckland, New Zealand, December 5–7, 2022, Proceedings. Cham (Switzerland): Springer, 2022, p. 160-174. ISBN 978-3-031-22307-5. Available from: https://dx.doi.org/10.1007/978-3-031-22308-2_8.

CHALUPA, Marek, Vincent MIHALKOVIČ, Anna ŘECHTÁČKOVÁ, Lukáš ZAORAL and Jan STREJČEK. Symbiotic 9: String Analysis and Backward Symbolic Execution with Loop Folding. Online. In Dana Fisman and Grigore Rosu. Tools and Algorithms for the Construction and Analysis of Systems - 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings, Part II. Cham (Švýcarsko): Springer, Cham, 2022, p. 462-467. ISBN 978-3-030-99526-3. Available from: https://dx.doi.org/10.1007/978-3-030-99527-0_32.

AYAZIOVÁ, Paulína, Marek CHALUPA and Jan STREJČEK. Symbiotic-Witch: A Klee-Based Violation Witness Checker. Online. In Dana Fisman and Grigore Rosu. Tools and Algorithms for the Construction and Analysis of Systems - 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings, Part II. Cham (Švýcarsko): Springer, Cham, 2022, p. 468-473. ISBN 978-3-030-99526-3. Available from: https://dx.doi.org/10.1007/978-3-030-99527-0_33.

CHALUPA, Marek and Jan STREJČEK. Backward Symbolic Execution with Loop Folding. Online. In Cezara Dragoi, Suvam Mukherjee, and Kedar S. Namjoshi. Static Analysis - 28th International Symposium, SAS 2021, Chicago, IL, USA, October 17-19, 2021, Proceedings. Cham (Switzerland): Springer, 2021, p. 49-76. ISBN 978-3-030-88805-3. Available from: https://dx.doi.org/10.1007/978-3-030-88806-0_3.

CHALUPA, Marek, David KLAŠKA, Jan STREJČEK and Lukáš TOMOVIČ. Fast Computation of Strong Control Dependencies. In Alexandra Silva, K. Rustan M. Leino. Computer Aided Verification - 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II. Cham (Švýcarsko): Springer, Cham, 2021, p. 887-910. ISBN 978-3-030-81687-2. Available from: https://dx.doi.org/10.1007/978-3-030-81688-9_41.

BLAHOUDEK, František, Murat CUBUKTEPE, Petr NOVOTNÝ, Melkior ORNIK, Pranay THANGEDA and Ufuk TOPCU. Fuel in Markov Decision Processes (FiMDP): A Practical Approach to Consumption. Online. In 24th International Symposium on Formal Methods, FM 2021. Cham, Switzerland: Springer, 2021, p. 640-656. ISBN 978-3-030-90869-0. Available from: https://dx.doi.org/10.1007/978-3-030-90870-6_34.

CHATTERJEE, Krishnendu, Ehsan Kafshdar GOHARSHADY, Petr NOVOTNÝ, Jiří ZÁREVÚCKY and Djordje ŽIKELIĆ. On Lexicographic Proof Rules for Probabilistic Termination. Online. In 24th International Symposium on Formal Methods, FM 2021. Cham, Switzerland: Springer, 2021, p. 619-639. ISBN 978-3-030-90869-0. Available from: https://dx.doi.org/10.1007/978-3-030-90870-6_33.

CHATTERJEE, Krishnendu, Ehsan Kafshdar GOHARSHADY, Petr NOVOTNÝ and Djordje ŽIKELIĆ. Proving non-termination by program reversal. Online. In Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI). New York, NY, USA: ACM, 2021, p. 1033-1048. ISBN 978-1-4503-8391-2. Available from: https://dx.doi.org/10.1145/3453483.3454093.

CHALUPA, Marek, Tomáš JAŠEK, Jakub NOVÁK, Anna ŘECHTÁČKOVÁ, Veronika ŠOKOVÁ and Jan STREJČEK. Symbiotic 8: Beyond Symbolic Execution. In Jan Friso Groote, Kim Guldstrand Larsen. Tools and Algorithms for the Construction and Analysis of Systems - 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings, Part II. Cham (Švýcarsko): Springer, Cham, 2021, p. 453-457. ISBN 978-3-030-72012-4. Available from: https://dx.doi.org/10.1007/978-3-030-72013-1_31.

CHALUPA, Marek, Jakub NOVÁK and Jan STREJČEK. Symbiotic 8: Parallel and Targeted Test Generation. In Esther Guerra and Mariëlle Stoelinga. Fundamental Approaches to Software Engineering - 24th International Conference, FASE 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings. Cham (Switzerland): Springer, 2021, p. 368-372. ISBN 978-3-030-71499-4. Available from: https://dx.doi.org/10.1007/978-3-030-71500-7_20.

CHALUPA, Marek, Martina VITOVSKÁ, Tomáš JAŠEK, Michael ŠIMÁČEK and Jan STREJČEK. Symbiotic 6: generating test cases by slicing and symbolic execution. International Journal on Software Tools for Technology Transfer. 2021, vol. 23, No 6, p. 875-877. ISSN 1433-2779. Available from: https://dx.doi.org/10.1007/s10009-020-00573-0.

BLAHOUDEK, František, Tomáš BRÁZDIL, Petr NOVOTNÝ, Melkior ORNIK, Pranay THANGEDA and Ufuk TOPCU. Qualitative Controller Synthesis for Consumption Markov Decision Processes. In Computer Aided Verification - 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part {II}. Cham: Springer, 2020, p. 421-447. ISBN 978-3-030-53290-1. Available from: https://dx.doi.org/10.1007/978-3-030-53291-8_22.

CHATTERJEE, Krishnendu, Hongfei FU and Petr NOVOTNÝ. Termination Analysis of Probabilistic Programs with Martingales. In Gilles Barthe, Joost-Pieter Katoen, Alexandra Silva. Foundations of Probabilistic Programming. Cambridge, UK: Cambridge University Press, 2020, p. 221-258. ISBN 978-1-108-48851-8. Available from: https://dx.doi.org/10.1017/9781108770750.008.

AVNI, Guy, Thomas A. HENZINGER, Rasmus IBSEN-JENSEN and Petr NOVOTNÝ. Bidding Games on Markov Decision Processes. In Emmanuel Filiot, Raphaël M. Jungers, Igor Potapov. Reachability Problems - 13th International Conference, RP 2019, Brussels, Belgium, September 11-13, 2019, Proceedings. Cham: Springer, 2019, p. 1-12. ISBN 978-3-030-30805-6. Available from: https://dx.doi.org/10.1007/978-3-030-30806-3_1.

BRÁZDIL, Tomáš, Krishnendu CHATTERJEE, Antonín KUČERA, Petr NOVOTNÝ and Dominik VELAN. Deciding Fast Termination for Probabilistic VASS with Nondeterminism. In Yu-Fang Chen, Chih-Hong Cheng, Javier Esparza. Automated Technology for Verification and Analysis - 17th International Symposium, ATVA 2019, Proceedings. Cham: Springer, 2019, p. 462-478. ISBN 978-3-030-31783-6. Available from: https://dx.doi.org/10.1007/978-3-030-31784-3_27.

BALAJI, Nikhil, Stefan KIEFER, Petr NOVOTNÝ, Guillermo A. PÉREZ and Mahsa SHIRMOHAMMADI. On the Complexity of Value Iteration. Online. In Christel Baier, Ioannis Chatzigiannakis, Paola Flocchini, Stefano Leonardi. Proceedings of the 46th International Colloquium on Automata, Languages, and Programming (ICALP 2019). Dagstuhl, Germany: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2019, p. "102:1"-"102:15", 15 pp. ISBN 978-3-95977-109-2. Available from: https://dx.doi.org/10.4230/LIPIcs.ICALP.2019.102.

BRÁZDIL, Tomáš, Krishnendu CHATTERJEE, Antonín KUČERA, Petr NOVOTNÝ, Dominik VELAN and Florian ZULEGER. Efficient Algorithms for Asymptotic Bounds on Termination Time in VASS. In Anuj Dawar, Erich Gradel. 2018 33rd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). Oxford, England: ACM, 2018, p. 185-194. ISBN 978-1-4503-5583-4. Available from: https://dx.doi.org/10.1145/3209108.3209191.