Popular repositories

1. mut-learn mut-learn Public

   Mutation-based implementation of a random equivalence testing strategy for active automata learning

   Java 14 5

2. smt-ta-learning smt-ta-learning Public

   An approach to learning timed automata using SMT soving

   Java 3

3. dlbt-smb-rl dlbt-smb-rl Public

   Differential Learning-Based Testing of Deep RL Agents Playing Super Mario Bros.

   Python 2

4. prob-black-reach prob-black-reach Public

   Testing strategy inference for stochastic systems

   Java 1 1

5. smb-rl-testing-metrics smb-rl-testing-metrics Public

   Experiments on metrics for RL testing - A case study on testing deep RL playing Super Mario Bros.

   Python 1