Search for dissertations about: "Reiner Hähnle"

Found 1 swedish dissertation containing the words Reiner Hähnle.

2. 1. 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