The task of developing a SAT-solver for finding verification sets in software testing
Abstract
The task of developing a SAT-solver for finding verification sets in software testing
Incoming article date: 25.10.2017This work is devoted to the automatic generation of verification sets of test procedures; the proposed and developed algorithm for selecting trial solutions for solving the problems of satisfiability of Boolean formulas.
Keywords: test sets, automatic generation, solver, Boolean constraints