Test Readability Optimization in Context of Symbolic Execution

Software testing is a time consuming process. In general, software companies spend about 50% of development time on testing. On the other hand, lack of testing implies financial and other risks. In the case of systematic testing a suitable test suite should provide an appropriate code coverage. A lo...

Full description

Bibliographic Details

Published in:	Труды Института системного программирования РАН
Main Authors:	I. A. Yakimov, A. S. Kuznetsov
Format:	Article
Language:	English
Published:	Russian Academy of Sciences, Ivannikov Institute for System Programming 2018-10-01
Subjects:	автоматическая генерация тестов символьные вычисления цена проверки тестов человеком биграммная модель языка
Online Access:	https://ispranproceedings.elpub.ru/jour/article/view/180