Refine
Document Type
- Article (5)
- Master's Thesis (3)
- Report (2)
- Working Paper (2)
- Bachelor Thesis (1)
- Conference Proceeding (1)
- Other (1)
- Study Thesis (1)
Language
- English (16) (remove)
Has Fulltext
- yes (16) (remove)
Keywords
- Data Mining (2)
- Neuronales Netz (2)
- data analysis (2)
- data mining (2)
- model car (2)
- neural networks (2)
- training data (2)
- virtual (2)
- Autonomous (1)
- Corporate culture (1)
- Cultural dimensions (1)
- Cultural standards (1)
- Data Science (1)
- Familienpolitik (1)
- Finnland (1)
- Frankreichforschung (1)
- Französisch (1)
- French (1)
- Hybridfahrzeug (1)
- Interkulturelles Management (1)
- Internationaler Vergleich (1)
- Internationalisierung (1)
- Kohlendioxidemission (1)
- Kraftstoffverbrauch (1)
- Kulturdimension (1)
- Kulturstandard (1)
- Management style (1)
- Managementstil (1)
- Mineralölindustrie (1)
- Mineralölkonzern (1)
- Norwegen (1)
- Optimale Kontrolle (1)
- Petroleum company (1)
- SW test (1)
- Scandinavian countries (1)
- Schweden (1)
- Social/family policies (1)
- Software-in-the-loop (1)
- Sozialpolitik (1)
- Stanley (1)
- Technology and care, IV stand, IV pole, participative nursing research, participative technology development (1)
- Unternehmenskultur (1)
- Vergleich zu Deutschland (1)
- Virtuelle Realität (1)
- autonomous (1)
- comparison to Germany (1)
- interpretability (1)
- interpretable machine learning (1)
- intrinsically interpretable machine learning (1)
- lateral control (1)
- parking (1)
- perpendicular (1)
- post-hoc interpretation methods, (1)
- traceability (1)
- trajectory (1)
- transverse control (1)
- unit test (1)
Institute
Securing software is one of the most important parts in modern software development.
Fuzzing has become one of the most popular methods to automatically test software.
Most fuzzing approaches need the target software to be recompiled which presupposes
source code to be available. When no source code is available, black box fuzzers are
used. In modern software, states play a big role in its functioning. A black box fuzzer
can come to its limits quick when operating on a stateful target with no knowledge.
The use of a state machine in a fuzzer can make the fuzzer more effective.
This thesis introduces a state machine estimation tool for black box systems. An
approach to estimate the state machine with state-of-the-art algorithms over a defined
interface is proposed. Fuzzing will be used to find more inputs and states of the target
to make a more complete state machine. The implemented approach is evaluated on
two stateful targets LightFTP and BFTPD. With a set of pre-known inputs, the
tool was able to correctly estimate the state machines of the targets and the fuzzing
method proved to be successful in finding more states and inputs. Multiple fuzzing
techniques and automata learning algorithms were benchmarked to find the most
successful combination.