Efficient learning and analysis of system behavior

Jeroen Meijer

    Research output: ThesisPhD Thesis - Research UT, graduation UT

    201 Downloads (Pure)

    Abstract

    In this thesis, we present techniques for more efficient learning and analysis of system behavior.

    The first part covers novel algorithms and tooling for testing systems based on active automata learning and Linear-time Temporal Logic (LTL) model checking, also called Learning-Based Testing (LBT). Next, we provide an improved learning algorithm that is able to deal with huge alphabets. These are commonly seen in large-scale industrial systems where input symbols contain data parameters.

    In the second part we discuss improvements for analyzing formal system specifications. We start out by looking at separated read, write and copy dependencies for symbolic model checking to speed up the verification of these specifications. Then, we show that bandwidth reduction techniques, originally designed for sparse matrix solvers, are very capable at reducing the memory footprint of the specifications' symbolic state space. Implementations of the presented algorithms are subjected to case studies and rigorous experimentation with scientific software competitions.
    Original languageEnglish
    QualificationDoctor of Philosophy
    Awarding Institution
    • University of Twente
    Supervisors/Advisors
    • van de Pol, Jaco , Supervisor
    • Stoelinga, Mariëlle Ida Antoinette, Supervisor
    Award date20 Sep 2019
    Place of PublicationEnschede
    Publisher
    Print ISBNs978-90-365-4844-1
    DOIs
    Publication statusPublished - 20 Sep 2019

    Fingerprint Dive into the research topics of 'Efficient learning and analysis of system behavior'. Together they form a unique fingerprint.

    Cite this