Source code and data relevant for the paper 'Learning-Based Testing the Sliding Window Behavior of TCP Implementations'
Wat erin zit
The dataset contains source code and data relevant for the paper "Learning-Based Testing the Sliding Window Behavior of TCP Implementations".Paper url: https://link.springer.com/chapter/10.1007/978-3-319-67113-0_12In this work, we use automata learning for register automata to infer models of TCP client implementations of Linux and FreeBSD. We then manually check the models for conformance to the RFC specifications. For the case study, we extended the register automata learner RALib so as to support data relations exhibited by TCP stacks (inequality over sums with constants). Note thatthis extension is mainly experimental.The dataset comprises the software components of our experimental setup apart from the actual implementations.In more concrete terms, the dataset contains:- the learner implementation - an implementation of the Java built RALib learning tool with the extensions this case study required, see https://bitbucket.org/learnlib/ralib/src/3812a20ae83b06436ad5fd74f1f5a57dc57b77bd?at=succ-expr- results - learned register automata models for TCP clients- experimental data - folders containing data about the experiments which lead to the learned modelNot included here is …
Bestanden en diensten
- DataCite REST API (JSON)api.datacite.orgOpenen