PhD position on Automata Learning at the Open Universiteit, Heerlen (the Netherlands)

Automata learning is a technique for improving software quality by smarter testing. It tests systems thoroughly, while at the same time constructing understandable models of the system. Such models can be analysed mathematically to ensure correctness. This has already found numerous software bugs in software we use for our daily communication.

Nevertheless, the learning techniques are still in their infancy, as they are laborious to apply and do not scale to bigger systems. The research project will improve automata learning by leveraging modularity. This makes the approach align with current software engineering practices and makes it more applicable to real-world situations.