Simplified Validation of Emergent Systems through Automata Learning-Based Testing.

Bernhard Steffen, Johannes Neubauer

Browse the full SEW paper archive.