TU Graz - SAL Dependable Embedded Systems Lab (DES Lab)

icon indicating a website link https://research-network.silicon-austria.com/des-lab/

icon location In the DES Lab we conduct fundamental research in order to ensure the dependability of computer-based systems.

Results 3 repositories owned by TU Graz - SAL Dependable Embedded Systems Lab (DES Lab)

AALpy

156
Stars
20
Forks
Watchers

An Automata Learning Library Written in Python

verified publisher icon DES-Lab

Learning-Based-Fuzzing

16
Stars
0
Forks
Watchers

Using automata learning to mine models used for fuzzing of statefull systems

verified publisher icon DES-Lab

Extracting-FSM-From-RNNs

17
Stars
1
Forks
Watchers

Black-box extraction of Finite-State Machines from RNNs.

verified publisher icon DES-Lab