×

You are using an outdated browser Internet Explorer. It does not support some functions of the site.

Recommend that you install one of the following browsers: Firefox, Opera or Chrome.

Contacts:

+7 961 270-60-01
ivdon3@bk.ru

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

Bogdanov D.S., Lyapunova I.A., Tetruashvili E.V.

Incoming article date: 25.10.2017

This 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