"Software Error Detection through Testing and Analysis" - читать интересную книгу автора (J. C. Huang)