The field of specification mining and behavioural model inference addresses the challenge of automatically extracting formal specifications and models of software systems from various forms of ...