Radboud University
iCIS

Automata Wiki

  • ↑ To Benchmarks
  • Bibliography

Git

  • Description

Benchmark models

  • Mealy
    print · login   
Home » BenchmarkGit-MuskardinEtAl2024 » Mealy

Learned Mealy model of Git

Basic

  • cmd_basic_functionality_with_remotes.dot

All experiments

  • cmd_empty_False_basic_KV.dot
  • cmd_empty_False_basic_L_star.dot
  • cmd_empty_False_basics_with_remotes_and_branches_KV.dot
  • cmd_empty_False_basics_with_remotes_and_branches_L_star.dot
  • cmd_empty_False_basic_with_remotes_L_star.dot
  • cmd_empty_True_basic_KV.dot
  • cmd_empty_True_basic_L_star.dot
  • cmd_empty_True_basics_with_remotes_and_branches_KV.dot
  • cmd_empty_True_basics_with_remotes_and_branches_L_star.dot
  • cmd_empty_True_basic_with_remotes_KV.dot
  • cmd_empty_True_basic_with_remotes_L_star.dot
  • gitPython_empty_False_basic_KV.dot
  • gitPython_empty_False_basic_L_star.dot
  • gitPython_empty_False_basics_with_remotes_and_branches_KV.dot
  • gitPython_empty_False_basics_with_remotes_and_branches_L_star.dot
  • gitPython_empty_False_basic_with_remotes_L_star.dot
  • gitPython_empty_True_basic_KV.dot
  • gitPython_empty_True_basic_L_star.dot
  • gitPython_empty_True_basics_with_remotes_and_branches_KV.dot
  • gitPython_empty_True_basics_with_remotes_and_branches_L_star.dot
  • gitPython_empty_True_basic_with_remotes_L_star.dot