-
Notifications
You must be signed in to change notification settings - Fork 0
Home
Welcome to the HermieLab wiki!
This wiki provides all the information needed to work with HermieLab, a framework for generating automata learning setups. With these setups, developers can automatically generate models describing your program's behavior. These models allow you to employ formal methods such as Model Based Testing (MBT) and Model Checking.
To get started, you can have a look at the XXXX(tutorial) and XXXX(ashort explination what automata learning is). For more information about MBT check out this tutorial
HermieLab started a bachelor thesis created by Hans van der Laan under the supervision of prof. Arend Rensink. The goal of this project was to use Automata Learning as a technique to learn behavioral models of GUI-based programs. Both intrigued by the results, we decided to work further on it. Almost a year of hard work, the HermieLab framework was born!