Roxane Koitz-Hristov

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 5

Top Topics

Abductive Reasoning

Test Suite Reduction

Artificial Intelligence

Top Venues

Publications

Roxane Koitz-Hristov, Thomas Sterner, Lukas Stracke, Franz Wotawa
On the suitability of checked coverage and genetic parameter tuning in test suite reduction. J. Softw. Evol. Process. 36 (8) (2024)
Roxane Koitz-Hristov, Lukas Stracke, Franz Wotawa
Checked Coverage for Test Suite Reduction - Is It Worth the Effort? AST@ICSE (2022)
Roxane Koitz-Hristov, Franz Wotawa
Faster horn diagnosis - a performance comparison of abductive reasoning algorithms. Appl. Intell. 50 (5) (2020)
Franz Wotawa, Gerhard Friedrich, Ingo Pill, Roxane Koitz-Hristov, Moonis Ali
Current Approaches in Applied Artificial Intelligence: The 2019 IEA/AIE Conference The IEA/AIE 2019 Conference. AI Mag. 40 (4) (2019)
Roxane Koitz-Hristov, Franz Wotawa
On the Superiority of Conflict-Driven Search in MUS Enumeration. DX (2018)