prof. RNDr. Jan Strejček, Ph.D.

2025

• Non-termination Witnesses and Their Validation

  ÁDÁM Zsófia AYAZIOVÁ Paulína BAJCZI Levente BEYER Dirk JANKOLA Marek LINGSCH-ROSENFELD Marian STREJČEK Jan

  Article in Proceedings

  Automated Software Engineering, ASE 2025, year: 2025

• On Complementation of Nondeterministic Finite Automata Without Full Determinization

  HOLÍK Lukáš LENGÁL Ondřej MAJOR Juraj ŠTĚPKOVÁ Adéla STREJČEK Jan

  Article in Proceedings

  Fundamentals of Computation Theory - 25th International Symposium, FCT 2025, Wrocław, Poland, September 15-17, 2025, Proceedings, year: 2025

• Software Verification Witnesses 2.0

  AYAZIOVÁ Paulína BEYER Dirk LINGSCH-ROSENFELD Marian SPIESSL Martin STREJČEK Jan

  Article in Proceedings

  Model Checking Software - 30th International Symposium, SPIN 2024, year: 2025

2024

• Combining Symbolic Execution with Predicate Abstraction and CEGAR

  JONÁŠ Martin STREJČEK Jan GRIGGIO Alberto

  Article in Proceedings

  Proceedings of the 24th Conference on Formal Methods in Computer-Aided Design – FMCAD 2024, year: 2024

• Fizzer: New Gray-Box Fuzzer

  JONÁŠ Martin STREJČEK Jan TRTÍK Marek URBAN Lukáš

  Article in Proceedings

  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, year: 2024

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

  JONÁŠ Martin STREJČEK Jan TRTÍK Marek URBAN Lukáš

  Article in Proceedings

  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, year: 2024

• Symbiotic 10: Lazy Memory Initialization and Compact Symbolic Execution

  JONÁŠ Martin KUMOR Kristián NOVÁK Jakub SEDLÁČEK Jindřich TRTÍK Marek ZAORAL Lukáš AYAZIOVÁ Paulína STREJČEK Jan

  Article in Proceedings

  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, year: 2024

• Tighter Construction of Tight Büchi Automata

  JANKOLA Marek STREJČEK Jan

  Article in Proceedings

  Foundations of Software Science and Computation Structures - 27th International Conference, FoSSaCS 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 I, year: 2024

• Truncating abstraction of bit-vector operations for BDD-based SMT solvers

  JONÁŠ Martin STREJČEK Jan

  Article in Periodical

  THEORETICAL COMPUTER SCIENCE, year: 2024, volume: 1008, edition: 114664, DOI

• Witch 3: Validation of Violation Witnesses in the Witness Format 2.0

  AYAZIOVÁ Paulína STREJČEK Jan

  Article in Proceedings

  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, year: 2024