Publication at ICSE 2024

A new publication has been accepted by the International Conference on Software Engineering (ICSE 2024) (A* CORE Ranking) taking place in April 2024 in Lisbon.

Felix Wallner, Bernhard K. Aichernig, and Christian Burghard. 2024. It’s Not a Feature, It’s a Bug: Fault-Tolerant Model Mining from Noisy Data. In Proceedings of the 46th IEEE/ACM International Conference on Software Engineering (ICSE ’24). Association for Computing Machinery, New York, NY, USA, Article 29, 1–13. https://doi.org/10.1145/3597503.3623346

Abstract:

The mining of models from data finds widespread use in industry. There exists a variety of model inference methods for perfectly deterministic behaviour, however, in practice, the provided data often contains noise due to faults such as message loss or environmental factors that many of the inference algorithms have problems dealing with. We present a novel model mining approach using Partial Max-SAT solving to infer the best possible automaton from a set of noisy execution traces. This approach enables us to ignore the minimal number of presumably faulty observations to allow the construction of a deterministic automaton. No pre-processing of the data is required. The method’s performance as well as a number of considerations for practical use are evaluated, including three industrial use cases, for which we inferred the correct models.