Source code and data relevant for the paper 'Learning-Based Testing the Sliding Window Behavior of TCP 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 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 model Not included here is the framework used to learn TCP.

This is the same as for the paper "Combining Model Learning and Model Checking to Analyze TCP Implementations", the only difference is that we use a different learner. The framework is available at: gitlab.science.ru.nl/pfiteraubrostean/tcp-learner/tree/cav-aec What can be re-used: - the learner setup or RALib (to learn systems similar to TCP) - the learned models (if one wants to do something with the learned models) Also, the dataset is suitable for one who wants to try out/ extend learning for register automata.

Paper

Abstract

We develop a learning-based testing framework for register automaton models that can express the windowing behavior of TCP, thereby presenting the first significant application of register automata learning to realistic software for a class of automata with Boolean-arithmetic constraints over data values. We have applied our framework to TCP implementations belonging to different operating systems and have found a violation of the TCP specification in Linux and Windows.

The violation has been confirmed by Linux developers.