Open AccessCoverage verification by tests of program branches and conditions of software in environments of automatic testing
Author(s) -
A. H. Li,
I. A. Lyapunova,
N. A. Fomenko
Publication year - 2018
Publication title -
iop conference series. materials science and engineering
Language(s) - English
Resource type - Journals
eISSN - 1757-899X
pISSN - 1757-8981
DOI - 10.1088/1757-899x/450/5/052008
Subject(s) - computer science , verification and validation , completeness (order theory) , software engineering , software construction , software reliability testing , software quality , concolic testing , software , software verification , software testing , regression testing , system integration testing , code coverage , symbolic execution , software system , reliability engineering , programming language , software development , engineering , mathematical analysis , operations management , mathematics