Jan Eisenhut

According to our database, Jan Eisenhut authored at least 3 papers between 2021 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

New Fuzzing Biases for Action Policy Testing.

Jan Eisenhut, Xandra Schuler, Daniel Fiser, Daniel Höller, Maria Christakis, Jörg Hoffmann

Proceedings of the Thirty-Fourth International Conference on Automated Planning and Scheduling, 2024

2023

Automatic Metamorphic Test Oracles for Action-Policy Testing.

Jan Eisenhut, Álvaro Torralba, Maria Christakis, Jörg Hoffmann

Proceedings of the Thirty-Third International Conference on Automated Planning and Scheduling, 2023

2021

Model Checking ømega-Regular Properties with Decoupled Search.

Daniel Gnad, Jan Eisenhut, Alberto Lluch-Lafuente, Jörg Hoffmann

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021