iCIS
Automata Wiki
ABP-AartsEtAl2012
ASMLRERS-YangEtAl2019
Bankcard-AartsEtAl2013
BLE-PferscherEtAl2022
BLE-Schnor2025
BRP-AartsEtAl2012
Circuits-FiserEtAl2018
CoffeeMachine-SteffenEtAl2011
DTLS-Fiterau-BrosteanEtAl2020
DTLS-Fiterau-BrosteanEtAl2023
Edentifier2-ChaluparEtAl2014
ESMcontroller-SmeenkEtAl2015
FIFOset-AartsEtAl2014
FromRhapsodyToDezyne-SchutsEtAl2018
FWGC-AartsEtAl2012
Login-AartsEtAl2012
Map
Moore-RivestShapire1993
MQTT-TapplerEtAl2017
MultiLogin-AartsEtAl2015
OPC-UA-VanEtAl2024
Passport-AartsEtAl2010
Queue-AartsEtAl2014
QUIC-FerreiraEtAl2021
QUIC-Rasool2018
RandomDFA-NeiderEtAl2019
RandomMoore-NeiderEtAl2019
RepdigitPalindrome-AartsEtAl2012
SIP-AartsEtAl2010
SMTP-BernasEtAl2025
SSH-Fiterau-BrosteanEtAl2017
SSH-Fiterau-BrosteanEtAl2023
Stack-AartsEtAl2014
TCP-Fiterau-BrosteanEtAl2016
TLS-Janssen2021
TLS-RuiterEtAl2015
ToyDFA
ToyDFIA
ToyModels
ToyMoore
XrayPowerControlService-SchutsEtAl2016
select tag
All
Datastructure
Industry
Protocol
Random
Register
Security
Toy
↑
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
»
RecentChanges
Description
. . .
11-23-2025 19:00 MET
by
Harco_Kuppens
:
Bibliography
. . .
11-22-2025 23:32 MET
by
Harco_Kuppens
:
Description
?
. . .
11-18-2025 11:50 MET
by
Harco_Kuppens
:
SideBar
?
. . .
11-18-2025 11:43 MET
by
Harco_Kuppens
:
ExtraMealy
?
. . . 05-02-2017 12:04 MET by
harcok
:
Register
?
. . . 04-26-2017 17:18 MET by
harcok
:
BenchmarksRegister
?
. . . 04-19-2017 14:59 MET by
harcok
:
BenchmarksMealy
?
. . . 04-19-2017 14:58 MET by
harcok
:
Tomte-0-2
?
. . . 09-24-2015 18:01 MET by
harcok
:
Tomte-02
?
. . . 02-02-2015 20:05 MET by
harcok
: Page moved to BenchmarkBRP.Tomte-0-2
Tomte
?
. . . 02-02-2015 20:05 MET by
harcok
: Page moved to BenchmarkBRP.Tomte-02
Bibliography
?
. . . 01-30-2015 15:49 MET by
harcok
: