Sökning: "Fei Niu"

Hittade 1 avhandling innehållade orden Fei Niu.

1. 1. Learning-based Software Testing using Symbolic Constraint Solving Methods

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

   Sammanfattning : 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. LÄS MER