Christian Burghard

Publication Activity (10 Years)

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

Top Topics

Weighted Max Sat

Real Time Search Algorithms

Formal Semantics

State Abstraction

Top Venues

Publications

Felix Wallner, Bernhard K. Aichernig, Christian Burghard
It's Not a Feature, It's a Bug: Fault-Tolerant Model Mining from Noisy Data. ICSE (2024)
Christian Burghard, Luca Berardinelli
Visualizing Multi-dimensional State Spaces Using Selective Abstraction. SEAA (2020)
Bernhard K. Aichernig, Christian Burghard
Giving a Model-Based Testing Language a Formal Semantics via Partial MAX-SAT. ICTSS (2020)
Bernhard K. Aichernig, Christian Burghard, Robert Korosec
Learning-Based Testing of an Industrial Measurement Device. NFM (2019)
Gerald Stieglbauer, Christian Burghard, Stefan Sobernig, Robert Korosec
A Daily Dose of DSL - MDE Micro Injections in Practice. MODELSWARD (2018)