Active Automata Learning

Addressing variability proactively during software engineering activities means shifting from reasoning on individual systems to …

This PhD project aims to automatically learn transition systems capturing the behaviour of a whole family of software-based systems. …