Волков, В.А.; Колчин, А.В.; Летичевский, А.А.; Потиенко, С.В.
(Штучний інтелект, 2017)
Обзор включает описание распространенных типов покрытия и современных методов генерации тестов из кода императивных программ. Особое внимание уделено методам, в основу которых положена техника символьного выполнения. ...