Publications

MSc thesis: Black-box Behavioral Model Inference for Autopilot Software Systems

Hybrid Deep Neural Networks to Infer State Models of Black-Box Systems

An Empirical Study on Practicality of Specification Mining Algorithms on a Real-world Application

Interactive semi-automated specification mining for debugging: An experience report