Learning-based testing of an industrial measurement device BK Aichernig, C Burghard, R Korošec NASA Formal Methods: 11th International Symposium, NFM 2019, Houston, TX …, 2019 | 8 | 2019 |
Introducing MDML-a domain-specific modelling language for automotive measurement devices C Burghard, G Stieglbauer, R Korošec CEUR Workshop Proceedings 1711, 28-31, 2016 | 7 | 2016 |
A daily dose of DSL G Stieglbauer, C Burghard, S Sobernig, R Korošec Proceedings of the 6th International Conference on Model-Driven Engineering …, 2018 | 5 | 2018 |
Model-based testing of measurement devices using a domain-specific modelling language C Burghard Master’s Thesis at Graz University of Technology, 2018 | 4 | 2018 |
Visualizing multi-dimensional state spaces using selective abstraction C Burghard, L Berardinelli 2020 46th Euromicro Conference on Software Engineering and Advanced …, 2020 | 3 | 2020 |
It's Not a Feature, It's a Bug: Fault-Tolerant Model Mining from Noisy Data F Wallner, BK Aichernig, C Burghard Proceedings of the 46th IEEE/ACM International Conference on Software …, 2024 | 2 | 2024 |
Giving a Model-Based Testing Language a Formal Semantics via Partial MAX-SAT BK Aichernig, C Burghard Testing Software and Systems: 32nd IFIP WG 6.1 International Conference …, 2020 | | 2020 |