Search for dissertations about: "learning-based testing"

Showing result 1 - 5 of 20 swedish dissertations containing the words learning-based testing.

  2. 1. Algorithms and Tools for Learning-based Testing of Reactive Systems

    Author : Muddassar Sindhu; Karl Meinke; Brian Nielsen; KTH; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; specification-based testing; learning-based testing; reactive systems; LBTest; case studies;

    Abstract : In this thesis we investigate the feasibility of learning-based testing (LBT) as a viable testing methodology for reactive systems. In LBT, a large number of test cases are automatically generated from black-box requirements for the system under test (SUT) by combining an incremental learning algorithm with a model checking algorithm. READ MORE

  4. 2. Learning-based Testing for Automotive Embedded Systems : A requirements modeling and Fault injection study

    Author : Hojat Khosrowjerdi; Karl Meinke; Dilian Gurov; Cristina Seceleanu; KTH; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Machine learning; fault injection; requirements testing; embedded systems; model checking; automotive software; requirements modeling; Computer Science; Datalogi;

    Abstract : This thesis concerns applications of learning-based testing (LBT) in the automotive domain. In this domain, LBT is an attractive testing solution, since it offers a highly automated technology to conduct safety critical requirements testing based on machine learning. READ MORE

  5. 3. Learning-based Software Testing using Symbolic Constraint Solving Methods

    Author : Fei Niu; Karl Meinke; Reiner Hähnle; KTH; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Testing; Machine learning; Symbolic constraint solving; Model checking;

    Abstract : Software testing remains one of the most important but expensive approaches to ensure high-quality software today. In order to reduce the cost of testing, over the last several decades, various techniques such as formal verification and inductive learning have been used for test automation in previous research. READ MORE

  6. 4. Deep learning based simulation for automotive software development

    Author : Dhasarathy Parthasarathy; Chalmers tekniska högskola; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; automotive software testing; latent space arithmetic; generative adversarial networks; explainable AI; sample selection bias;

    Abstract : The automotive industry is in the midst of a new reality where software is increasingly becoming the primary tool for delivering value to customers. While this has vastly improved their product offerings, vehicle manufacturers are increasingly facing the need to continuously develop, test, and deliver functionality, while maintaining high levels of quality. READ MORE

  7. 5. Document Image Processing for Handwritten Text Recognition : Deep Learning-based Transliteration of Astrid Lindgren’s Stenographic Manuscripts

    Author : Raphaela Heil; Anders Hast; Ekta Vats; Fredrik Wahlberg; Andreas Fischer; Uppsala universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; document image processing; handwritten text recognition; stenography; strikethrough; Computerized Image Processing; Datoriserad bildbehandling;

    Abstract : Document image processing and handwritten text recognition have been applied to a variety of materials, scripts, and languages, both modern and historic. They are crucial building blocks in the on-going digitisation efforts of archives, where they aid in preserving archival materials and foster knowledge sharing. READ MORE