prof. RNDr. Jan Strejček, Ph.D.
Professor, Department of Computer Science
Office: C414
Botanická 554/68a
602 00 Brno
Phone: | +420 549 49 6941 |
---|---|
E‑mail: |
social and academic networks: |
---|
Total number of publications: 86
2021
-
Symbiotic 8: Beyond Symbolic Execution
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, year: 2021
-
Symbiotic 8: Parallel and Targeted Test Generation
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, year: 2021
-
Symbiotic 6: generating test cases by slicing and symbolic execution
International Journal on Software Tools for Technology Transfer, year: 2021, volume: 23, edition: 6, DOI
-
Symbiotic 8
Year: 2021
2020
-
Joint Forces for Memory Safety Checking Revisited
International Journal on Software Tools for Technology Transfer (STTT), year: 2020, volume: 22, edition: 2, DOI
-
LTL to self-loop alternating automata with generic acceptance and back
Theoretical Computer Science, year: 2020, volume: 840, edition: Nov 2020, DOI
-
Seminator 2 Can Complement Generalized Büchi Automata via Improved Semi-determinization
Computer Aided Verification - 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part II, year: 2020
-
Speeding up Quantified Bit-Vector SMT Solvers by Bit-Width Reductions and Extensions
Theory and Applications of Satisfiability Testing - SAT 2020 - 23rd International Conference, Alghero, Italy, July 3-10, 2020, Proceedings, year: 2020
-
Symbiotic 7: Integration of Predator and More (Competition Contribution)
Tools and Algorithms for the Construction and Analysis of Systems, year: 2020
2019
-
Evaluation of Program Slicing in Software Verification
Integrated Formal Methods - 15th International Conference, IFM 2019, Bergen, Norway, December 2-6, 2019, Proceedings, year: 2019