Active Learning of Abstract System Models from Traces using Model Checking [Extended]

Natasha Yogananda Jeppu, Tom Melham, Daniel Kroening

We present a new active model-learning approach to generating abstractions of a system implementation, as finite state automata (FSAs), from execution traces. Given an implementati…