Christian Burghard

According to our database, Christian Burghard authored at least 5 papers between 2018 and 2024.

Collaborative distances:

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

2024

It's Not a Feature, It's a Bug: Fault-Tolerant Model Mining from Noisy Data.

Felix Wallner, Bernhard K. Aichernig, Christian Burghard

Proceedings of the 46th IEEE/ACM International Conference on Software Engineering, 2024

2020

Giving a Model-Based Testing Language a Formal Semantics via Partial MAX-SAT.

Bernhard K. Aichernig, Christian Burghard

Proceedings of the Testing Software and Systems, 2020

Visualizing Multi-dimensional State Spaces Using Selective Abstraction.

Christian Burghard, Luca Berardinelli

Proceedings of the 46th Euromicro Conference on Software Engineering and Advanced Applications, 2020

2019

Learning-Based Testing of an Industrial Measurement Device.

Bernhard K. Aichernig, Christian Burghard, Robert Korosec

Proceedings of the NASA Formal Methods - 11th International Symposium, 2019

2018

A Daily Dose of DSL - MDE Micro Injections in Practice.

Gerald Stieglbauer, Christian Burghard, Stefan Sobernig, Robert Korosec

Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development, 2018