Search for dissertations about: "Muddassar Sindhu"

Found 2 swedish dissertations containing the words Muddassar Sindhu.

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. Incremental Learning and Testing of Reactive Systems

   Author : Muddassar Sindhu; Karl Meinke; Bengt Jonsson; KTH; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; Incremental learning; software testing; specification based testing; reactive systems; model checking; Computer science; Datalogi;

   Abstract : This thesis concerns the design, implementation and evaluation of a specification based testing architecture for reactive systems using the paradigm of learning-based testing. As part of this work we have designed, verified and implemented new incremental learning algorithms for DFA and Kripke structures. READ MORE