Литература
Основная
- Paul Ammann, Jeff Offutt. Introduction to Software Testing. -- Cambridge University Press, 2008. -- P. 344. -- ISBN 978-0521880381.
- Ю. Г. Карпов. Model Checking. Верификация параллельных и распределенных программных систем. - СПб.: БХВ-Петербург, 2010. - 552 с. - ISBN 978-5-9775-0404-1.
- Doron A. Peled. Software Reliability Methods. -- Springer; 1 edition, 2001. -- P. 331. -- ISBN 978-0387951065.
- Nielson F., Nielson H.R., Hankin C. Principles of Program Analysis. -- Corr. 2nd printing. -- Berlin: Springer, 2005. -- XXI, 452 p., 56 illus.
- M.R. Lyu. Handbook of Software Reliability Engeneering. -- McGraw-Hill publishing, 1995. -- ISBN 0-07-039400-8.
Дополнительная
- Cem Kaner, Jack Falk, Hung Q. Nguyen. Testing Computer Software. -- Wiley, 1999. -- P. 480. -- ISBN 978-0471358466.
- Верификация моделей программ: Model Checking / Кларк Э.М. Мл., Грамберг О., Пелед Д. - М. : МЦНМО, 2002. - 416 с. - ISBN 5-94057-054-2.
- Benjamin C. Pierce. Types and Programming Languages. -- The MIT Press; 1 edition, 2002. -- P. 645. -- ISBN 978-0262162098.
- Майерс Г. Надежность программного обеспечения. Москва: Мир, 1980.
Обновлено: 16.09.2010 19:05