Синицын С.В., Налютин Н.Ю. Верификация программного обеспечения

2-е изд. — М.: Интуит, 2016. — 445 с. Курс знакомит с современными технологиями верификации программного обеспечения, применяемыми при промышленной разработке сложных и отказоустойчивых программных систем. Курс рассчитан на читателей, заинтересованных в изучении основных подходов и путей решения проблем, связанных с современными технологиями верификации программного обеспечения. По завершении курса студент овладевает всеми основными навыками, необходимыми для участия в верификации сложных промышленных систем.