gitextract_arfvw_hu/

├── .gitattributes
├── .github/
│   └── workflows/
│       ├── codeql-analysis.yml
│       └── python-app.yml
├── .gitignore
├── Benchmarking/
│   ├── Benchmark_ErrorStop.py
│   ├── CompleteStochasticBenchmarking.py
│   ├── StochasticAlgComparison.py
│   ├── StochasticBenchmarkingWPrism.py
│   ├── StopWithErorrRate.py
│   ├── all_results.pickle
│   ├── benchmark.py
│   ├── benchmark_alphabet_increase.py
│   ├── benchmark_size_increase.py
│   ├── cex_processing_benchmark.py
│   ├── compare_lstar_and_kv.py
│   ├── error_benchmark_statistics.py
│   ├── evaluate_l_star_configurations.py
│   ├── fm_benchmark.py
│   ├── fm_plots.py
│   ├── generate_plots.py
│   ├── json_lbt.py
│   ├── papni_sequences.pickle
│   ├── papni_vs_rpni_benchmarking.py
│   ├── passive_mdp_vs_smm.py
│   ├── prism_eval_props/
│   │   ├── bluetooth.props
│   │   ├── emqtt_two_client.props
│   │   ├── first_eval.props
│   │   ├── second_eval.props
│   │   ├── shared_coin_eval.props
│   │   ├── slot_machine_eval.props
│   │   └── tcp_eval.props
│   ├── rpni_papni_memory_footrpint.py
│   ├── stochastic_benchmarking/
│   │   ├── Benchmark_ErrorStop.py
│   │   ├── CompleteStochasticBenchmarking.py
│   │   ├── StochasticBenchmarkingWPrism.py
│   │   ├── passive_mdp_vs_smm.py
│   │   ├── plot_error_steps.py
│   │   ├── stochastic_benchmark_random_automata.py
│   │   ├── strategy_comp.py
│   │   └── unamb_error_plot.py
│   ├── unamb_error_plot.py
│   └── vpa_benchmarking/
│       └── benchmark_vpa.py
├── DotModels/
│   ├── Angluin_Mealy.dot
│   ├── Angluin_Moore.dot
│   ├── Bluetooth/
│   │   ├── CC2640R2-no-feature-req.dot
│   │   ├── CC2640R2-no-feature-req_stochastic.dot
│   │   ├── CC2640R2-no-pairing-req.dot
│   │   ├── CC2650.dot
│   │   ├── CYBLE-416045-02.dot
│   │   ├── CYBLE-416045-02_Crash_No_Response_stochastic.dot
│   │   ├── CYW43455.dot
│   │   ├── CYW43455_stochastic.dot
│   │   ├── bluetooth_model.dot
│   │   ├── bluetooth_reduced.dot
│   │   ├── cc2652r1.dot
│   │   ├── convert_to_stochastic.py
│   │   └── nRF52832.dot
│   ├── MDPs/
│   │   ├── bluetooth.dot
│   │   ├── faulty_car_alarm.dot
│   │   ├── first_grid.dot
│   │   ├── mqtt.dot
│   │   ├── second_grid.dot
│   │   ├── shared_coin.dot
│   │   ├── slot_machine.dot
│   │   └── tcp.dot
│   ├── MQTT/
│   │   ├── ActiveMQ__two_client_will_retain.dot
│   │   ├── VerneMQ__two_client_will_retain.dot
│   │   ├── emqtt__two_client_will_retain.dot
│   │   ├── hbmqtt__two_client_will_retain.dot
│   │   └── mosquitto__two_client_will_retain.dot
│   ├── SimpleABC/
│   │   ├── simple_abc_dfa.dot
│   │   ├── simple_abc_mealy.dot
│   │   └── simple_abc_moore.dot
│   ├── TCP/
│   │   ├── TCP_Linux_Client.dot
│   │   ├── tcp_server_bsd_trans.dot
│   │   ├── tcp_server_ubuntu_trans.dot
│   │   └── tcp_server_windows_trans.dot
│   ├── TLS/
│   │   ├── JSSE_1.8.0_25_server_regular.dot
│   │   ├── NSS_3.17.4_server_regular.dot
│   │   ├── OpenSSL_1.0.2_server_regular.dot
│   │   ├── RSA_BSAFE_C_4.0.4_server_regular.dot
│   │   └── miTLS_0.1.3_server_regular.dot
│   ├── arithmetics.dot
│   ├── car_alarm.dot
│   ├── coffee_mealy.dot
│   ├── coffee_moore.dot
│   ├── five_clients_mqtt_abstracted_onfsm.dot
│   ├── mooreModel.dot
│   ├── onfsm_0.dot
│   ├── onfsm_1.dot
│   ├── onfsm_2.dot
│   ├── onfsm_3.dot
│   ├── onfsm_4.dot
│   ├── onfsm_5.dot
│   └── tomitaGrammars/
│       ├── tomita_1.dot
│       ├── tomita_2.dot
│       ├── tomita_3.dot
│       ├── tomita_4.dot
│       ├── tomita_5.dot
│       ├── tomita_6.dot
│       └── tomita_7.dot
├── Examples.py
├── LICENCE.txt
├── README.md
├── aalpy/
│   ├── SULs/
│   │   ├── AutomataSUL.py
│   │   ├── PyMethodSUL.py
│   │   ├── RegexSUL.py
│   │   ├── TomitaSUL.py
│   │   └── __init__.py
│   ├── __init__.py
│   ├── automata/
│   │   ├── Dfa.py
│   │   ├── MarkovChain.py
│   │   ├── Mdp.py
│   │   ├── MealyMachine.py
│   │   ├── MooreMachine.py
│   │   ├── NonDeterministicMooreMachine.py
│   │   ├── Onfsm.py
│   │   ├── Sevpa.py
│   │   ├── StochasticMealyMachine.py
│   │   ├── Vpa.py
│   │   └── __init__.py
│   ├── base/
│   │   ├── Automaton.py
│   │   ├── CacheTree.py
│   │   ├── Oracle.py
│   │   ├── SUL.py
│   │   └── __init__.py
│   ├── learning_algs/
│   │   ├── __init__.py
│   │   ├── adaptive/
│   │   │   ├── AdaptiveLSharp.py
│   │   │   ├── AdaptiveObservationTree.py
│   │   │   ├── StateMatching.py
│   │   │   └── __init__.py
│   │   ├── deterministic/
│   │   │   ├── ADS.py
│   │   │   ├── Apartness.py
│   │   │   ├── ClassificationTree.py
│   │   │   ├── CounterExampleProcessing.py
│   │   │   ├── KV.py
│   │   │   ├── LSharp.py
│   │   │   ├── LStar.py
│   │   │   ├── ObservationTable.py
│   │   │   ├── ObservationTree.py
│   │   │   └── __init__.py
│   │   ├── deterministic_passive/
│   │   │   ├── ClassicRPNI.py
│   │   │   ├── GsmRPNI.py
│   │   │   ├── PAPNI.py
│   │   │   ├── RPNI.py
│   │   │   ├── __init__.py
│   │   │   ├── active_RPNI.py
│   │   │   └── rpni_helper_functions.py
│   │   ├── general_passive/
│   │   │   ├── GeneralizedStateMerging.py
│   │   │   ├── GsmAlgorithms.py
│   │   │   ├── GsmNode.py
│   │   │   ├── Instrumentation.py
│   │   │   ├── ScoreFunctionsGSM.py
│   │   │   └── __init__.py
│   │   ├── non_deterministic/
│   │   │   ├── AbstractedOnfsmLstar.py
│   │   │   ├── AbstractedOnfsmObservationTable.py
│   │   │   ├── NonDeterministicSULWrapper.py
│   │   │   ├── OnfsmLstar.py
│   │   │   ├── OnfsmObservationTable.py
│   │   │   ├── TraceTree.py
│   │   │   └── __init__.py
│   │   ├── stochastic/
│   │   │   ├── DifferenceChecker.py
│   │   │   ├── SamplingBasedObservationTable.py
│   │   │   ├── StochasticCexProcessing.py
│   │   │   ├── StochasticLStar.py
│   │   │   ├── StochasticTeacher.py
│   │   │   └── __init__.py
│   │   └── stochastic_passive/
│   │       ├── ActiveAleriga.py
│   │       ├── Alergia.py
│   │       ├── CompatibilityChecker.py
│   │       ├── FPTA.py
│   │       └── __init__.py
│   ├── oracles/
│   │   ├── BreadthFirstExplorationEqOracle.py
│   │   ├── CacheBasedEqOracle.py
│   │   ├── KWayStateCoverageEqOracle.py
│   │   ├── KWayTransitionCoverageEqOracle.py
│   │   ├── PacOracle.py
│   │   ├── PerfectKnowledgeEqOracle.py
│   │   ├── ProvidedSequencesOracleWrapper.py
│   │   ├── RandomWalkEqOracle.py
│   │   ├── RandomWordEqOracle.py
│   │   ├── StatePrefixEqOracle.py
│   │   ├── TransitionFocusOracle.py
│   │   ├── UserInputEqOracle.py
│   │   ├── WMethodEqOracle.py
│   │   ├── WpMethodEqOracle.py
│   │   └── __init__.py
│   ├── paths.py
│   └── utils/
│       ├── AutomatonGenerators.py
│       ├── BenchmarkSULs.py
│       ├── BenchmarkSevpaModels.py
│       ├── BenchmarkVpaModels.py
│       ├── DataHandler.py
│       ├── FileHandler.py
│       ├── HelperFunctions.py
│       ├── ModelChecking.py
│       ├── Sampling.py
│       └── __init__.py
├── docs/
│   ├── README.md
│   ├── _config.yml
│   ├── google306875680a34d740.html
│   └── instructions.txt
├── jAlergia/
│   ├── alergia.jar
│   └── exampleMdpData.txt
├── notebooks/
│   ├── Abstracted_Non-Det_FSM.ipynb
│   ├── AngluinExample.ipynb
│   ├── MDP_Example.ipynb
│   ├── MDP_and_SMM_Example.ipynb
│   ├── ONFSM_Example.ipynb
│   ├── RandomMealyExample.ipynb
│   ├── RegexExample.ipynb
│   └── Stochstic_Examples.ipynb
├── setup.py
└── tests/
    ├── oracles/
    │   ├── test_baseOracle.py
    │   └── test_kWayTransitionCoverageEqOracle.py
    ├── test_charSet.py
    ├── test_deterministic.py
    ├── test_deterministic_passive.py
    ├── test_file_operations.py
    ├── test_non_deterministic.py
    ├── test_rwpmethod_oracle.py
    ├── test_stochastic.py
    ├── test_wmethod_oracle.py
    ├── test_wpmethod_oracle.py
    └── tests_imports.py