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 » ExtraMealy

Extra Mealy models

Below are extra mealy models derived by flattening the register model for several different data ranges:

  • BRP_mutant1.flat_0_1.dot
  • BRP_mutant1.flat_0_2.dot
  • BRP_mutant1.flat_0_3.dot
  • BRP_mutant1.flat_0_4.dot
  • BRP_mutant1.flat_0_5.dot
  • BRP_mutant2.flat_0_1.dot
  • BRP_mutant2.flat_0_2.dot
  • BRP_mutant2.flat_0_3.dot
  • BRP_mutant2.flat_0_4.dot
  • BRP_mutant2.flat_0_5.dot
  • BRP_mutant3.flat_0_1.dot
  • BRP_mutant3.flat_0_2.dot
  • BRP_mutant3.flat_0_3.dot
  • BRP_mutant3.flat_0_4.dot
  • BRP_mutant3.flat_0_5.dot
  • BRP_mutant4.flat_0_1.dot
  • BRP_mutant4.flat_0_2.dot
  • BRP_mutant4.flat_0_3.dot
  • BRP_mutant4.flat_0_4.dot
  • BRP_mutant4.flat_0_5.dot
  • BRP_mutant5.flat_0_1.dot
  • BRP_mutant5.flat_0_2.dot
  • BRP_mutant5.flat_0_3.dot
  • BRP_mutant5.flat_0_4.dot
  • BRP_mutant5.flat_0_5.dot
  • BRP_mutant6.flat_0_1.dot
  • BRP_mutant6.flat_0_2.dot
  • BRP_mutant6.flat_0_3.dot
  • BRP_mutant6.flat_0_4.dot
  • BRP_mutant6.flat_0_5.dot
  • BRP_ref.flat_0_1.dot
  • BRP_ref.flat_0_2.dot
  • BRP_ref.flat_0_3.dot
  • BRP_ref.flat_0_4.dot
  • BRP_ref.flat_0_5.dot