Е. Е. Карпович. Методы тестирования и отладки программного обеспечения. М.:МИСиС, 2020