Home

In this Wiki information on the design and usage of LearnLib is collected.

Design Decisions

• Structure of LearnLib interfaces

Central Concepts

• Oracles

Important Use Cases

• Dealing with wildcards in Java generics