Jan Strejcek -

Registered user since Thu 1 Aug 2019

Name:Jan Strejcek

Country:Czechia

Affiliation:Masaryk University

Personal website: https://www.fi.muni.cz/~xstrejc/

Contributions

2026

ASE

Author of Gray-Box Fuzzing in Local Space within the Research Papers-track

SV-COMP-WS

Committee Member in Organizing Committee within the SV-COMP/Test-Comp-track

VMCAI

Committee Member in Program Committee within the VMCAI 2026-track

2025

ASE

Author of Non-termination Witnesses and their Validation within the Research Papers-track

2022

Static Analysis Symposium

Author of Case Study on Verification-Witness Validators: Where We Are and Where We Go within the SAS-track

2021

Static Analysis Symposium

Author of Backward Symbolic Execution with Loop Folding within the SAS-track

2020

VMCAI

PC Member in Program Committee within the VMCAI 2020-track

2019

TACAS

Committee Member in Program Committee within the TACAS 2019-track