Currently browsing

Nominal Techniques and Black Box Testing for Automata Learning

Joshua Moerman first promotor: prof. dr. F.W. Vaandrager (RU) second promotor: prof. dr. A. Silva (University College London, London, United Kingdom) copromotor: dr. S.A. Terwijn (RU) Radboud University Date: 1 July 2019 Thesis: PDF Summary Automata learning plays a more and more prominent role in the field of software verification. …