DG: Analysis and Slicing of LLVM Bitcode

von Chalupa, Marek
Veröffentlicht in ATVA (18. : 2020 : Online) Automated technology for verification and analysis (2020)

Backward Symbolic Execution with Loop Folding

von Chalupa, Marek
Veröffentlicht in International Static Analysis Symposium (28. : 2021 : Chicago, Online) Static Analysis (2021)

Symbiotic 8: Parallel and Targeted Test Generation: (Competition Contribution)

von Chalupa, Marek
Veröffentlicht in FASE (24. : 2021 : Online) Fundamental approaches to software engineering (2021)

Symbiotic-Wrrch: A Klee-Based Violation Witness Checker: (Competition Contribution)

von Ayaziová, Paulína
Veröffentlicht in TACAS (28. : 2022 : München) Tools and algorithms for the construction and analysis of systems ; Part 2 (2022)

Fast Computation of Strong Control Dependencies

von Chalupa, Marek
Veröffentlicht in CAV (33. : 2021 : Online) Computer aided verification ; Part 2 (2021)

SyYMBIOTIC 9: String Analysis and Backward Symbolic Execution with Loop Folding: (Competition Contribution)

von Chalupa, Marek
Veröffentlicht in TACAS (28. : 2022 : München) Tools and algorithms for the construction and analysis of systems ; Part 2 (2022)

Vamos: Middleware for Best-Effort Third-Party Monitoring

von Chalupa, Marek
Veröffentlicht in FASE (26. : 2023 : Paris) Fundamental approaches to software engineering (2023)

Symbiotic 8: Beyond Symbolic Execution: (Competition Contribution)

von Chalupa, Marek
Veröffentlicht in TACAS (27. : 2021 : Online) Tools and algorithms for the construction and analysis of systems ; Part 2 (2021)

Symbiotic 7: Integration of Predator and More (Competition Contribution)

von Chalupa, Marek
Veröffentlicht in TACAS (26. : 2020 : Online) Tools and algorithms for the construction and analysis of systems ; Part 2 (2020)