Active Learning of Abstract System Models from Traces using Model Checking.

Natasha Yogananda Jeppu, Tom Melham, Daniel Kroening

Browse the full DATE paper archive.