Login / Signup
Jan Eisenhut
Publication Activity (10 Years)
Years Active: 2021-2024
Publications (10 Years): 3
Top Topics
Model Checking
Item Response Theory
Number Of Test Cases
Action Selection
Top Venues
ICAPS
CAV (2)
</>
Publications
</>
Jan Eisenhut
,
Xandra Schuler
,
Daniel Fiser
,
Daniel Höller
,
Maria Christakis
,
Jörg Hoffmann
New Fuzzing Biases for Action Policy Testing.
ICAPS
(2024)
Jan Eisenhut
,
Álvaro Torralba
,
Maria Christakis
,
Jörg Hoffmann
Automatic Metamorphic Test Oracles for Action-Policy Testing.
ICAPS
(2023)
Daniel Gnad
,
Jan Eisenhut
,
Alberto Lluch-Lafuente
,
Jörg Hoffmann
Model Checking ømega-Regular Properties with Decoupled Search.
CAV (2)
(2021)