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. …