Automata Inference in Software Engineering


In this remote presentation to bachelor students at UFOPA, I give a brief introduction to the concept of active model learning, its applications and the adaptive variant for evolving systems, Dynamic L*M.

The presentation is available here and can be seen below.

An exercise for the talk is available here.