Sign in
Jan Eisenhut
Publication Activity (10 Years)
Years Active: 2021-2023
Publications (10 Years): 2
Top Topics
Temporal Properties
Model Based Testing
Test Case Generation
Item Response Theory
Top Venues
ICAPS
CAV (2)
</>
Publications
</>
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)