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

2024

• Fizzer: New Gray-Box Fuzzer

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

  Článek ve sborníku

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

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

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

  Článek ve sborníku

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

• Software Verification Witnesses 2.0

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

  Článek ve sborníku

  Model Checking Software - 30th International Symposium, SPIN 2024, rok: 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

  Článek ve sborníku

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

• Tighter Construction of Tight Büchi Automata

  JANKOLA Marek STREJČEK Jan

  Článek ve sborníku

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

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

  AYAZIOVÁ Paulína STREJČEK Jan

  Článek ve sborníku

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

2023

• Reducing Acceptance Marks in Emerson-Lei Automata by QBF Solving

  SCHWARZOVÁ Tereza STREJČEK Jan MAJOR Juraj

  Článek ve sborníku

  26th International Conference on Theory and Applications of Satisfiability Testing, SAT 2023, July 4-8, 2023, Alghero, Italy, rok: 2023

• Symbiotic-Witch 2

  AYAZIOVÁ Paulína STREJČEK Jan

  Software

  Rok: 2023

• Symbiotic-Witch 2: More Efficient Algorithm and Witness Refutation

  AYAZIOVÁ Paulína STREJČEK Jan

  Článek ve sborníku

  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, rok: 2023

2022

• Case Study on Verification-Witness Validators: Where We Are and Where We Go

  BEYER Dirk STREJČEK Jan

  Článek ve sborníku

  Static Analysis - 29th International Symposium, SAS 2022, Auckland, New Zealand, December 5–7, 2022, Proceedings, rok: 2022