Active Learning of Abstract System Models from Traces using Model Checking - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Natasha Yogananda Jeppu, Tom Melham, Daniel Kroening. Active Learning of Abstract System Models from Traces using Model Checking. In Cristiana Bolchini, Ingrid Verbauwhede, Ioana Vatajelu, editors, 2022 Design, Automation & Test in Europe Conference & Exhibition, DATE 2022, Antwerp, Belgium, March 14-23, 2022. pages 100-103, IEEE, 2022. [doi]

This author has not been identified. Look up 'Natasha Yogananda Jeppu' in GoogleThis author has not been identified. Look up 'Tom Melham' in GoogleThis author has not been identified. Look up 'Daniel Kroening' in Google

runs on WebDSL