Jan Strejček
Masarykova univerzita
H-index: 19
Europe-Czech Republic
Top articles of Jan Strejček
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Fizzer: New Gray-Box Fuzzer: (Competition Contribution) | Martin Jonáš Jan Strejček Marek Trtík Lukáš Urban | 2024/4/6 | |
Witch 3: Validation of Violation Witnesses in the Witness Format 2.0: (Competition Contribution) | Paulína Ayaziová Jan Strejček | 2024/4/5 | |
Symbiotic 10: Lazy Memory Initialization and Compact Symbolic Execution: (Competition Contribution) | Martin Jonáš Kristián Kumor Jakub Novák Jindřich Sedláček Marek Trtík | 2024/4/5 | |
Gray-box fuzzing via gradient descent and Boolean expression coverage | arXiv preprint arXiv:2401.12643 | Martin Jonáš Jan Strejček Marek Trtík Lukáš Urban | 2024/1/23 |
Tighter Construction of Tight Büchi Automata | Marek Jankola Jan Strejček | 2024/4/5 | |
Symbiotic-Witch 2: More Efficient Algorithm and Witness Refutation: (Competition Contribution) | Paulína Ayaziová Jan Strejček | 2023/4/20 | |
Reducing acceptance marks in Emerson-Lei automata by QBF solving | Tereza Schwarzová Jan Strejček Juraj Major | 2023 | |
Case study on verification-witness validators: where we are and where we go | Dirk Beyer Jan Strejček | 2022/12/2 | |
Symbiotic 9: String Analysis and Backward Symbolic Execution with Loop Folding | Marek Chalupa Vincent Mihalkovič Anna Řechtáčková Lukáš Zaoral Jan Strejček | 2022/3/30 | |
Symbiotic-Witch: A Klee-Based Violation Witness Checker | Paulína Ayaziová Marek Chalupa Jan Strejček | 2022/3/30 | |
Symbiotic 6: generating test cases by slicing and symbolic execution | International Journal on Software Tools for Technology Transfer | Marek Chalupa Martina Vitovská Tomáš Jašek Michael Šimáček Jan Strejček | 2021/12 |
Symbiotic 8: Beyond Symbolic Execution: (Competition Contribution) | Marek Chalupa Tomáš Jašek Jakub Novák Anna Řechtáčková Veronika Šoková | 2021/3/23 | |
Symbiotic 8: Parallel and targeted test generation | Fundamental Approaches to Software Engineering | Marek Chalupa Jakub Novák Jan Strejcek | 2021/3/19 |
Backward symbolic execution with loop folding | Marek Chalupa Jan Strejček | 2021 | |
DQBDD: an efficient bdd-based DQBF solver | Juraj Síč Jan Strejček | 2021 | |
Fast computation of strong control dependencies | Marek Chalupa David Klas̆ka Jan Strejček Lukás̆ Tomovic̆ | 2021 | |
LTL to self-loop alternating automata with generic acceptance and back | Theoretical Computer Science | František Blahoudek Juraj Major Jan Strejček | 2020/11/6 |
Seminator 2 can complement generalized Büchi automata via improved semi-determinization | František Blahoudek Alexandre Duret-Lutz Jan Strejček | 2020/7/14 | |
Joint forces for memory safety checking revisited | International Journal on Software Tools for Technology Transfer | Marek Chalupa Jan Strejček Martina Vitovská | 2020/4 |
Speeding up Quantified Bit-Vector SMT Solvers by Bit-Width Reductions and Extensions | Martin Jonáš Jan Strejček | 2020 |