Radboud University
iCIS

Automata Wiki

  • ↑ To Benchmarks
  • Bibliography

Benchmark BRP

  • Description
  • The Mutant Implementations
  • The SUT Models

Benchmark models

  • Register

Learning examples

  • Tomte-0.2
    print · login   
Home » BenchmarkBRP-AartsEtAl2012 » Register

Register models

  • BRP_mutant1.register.xml
  • BRP_mutant2.register.xml
  • BRP_mutant3.register.xml
  • BRP_mutant4.register.xml
  • BRP_mutant5.register.xml
  • BRP_mutant6.register.xml
  • BRP_ref.register.xml

From the register model we derived some extra mealy models by flattening which are listed in ExtraMealy.