1 . Макгрегор Дж., Сайкс Д. Тестирование объектно-ориентированного программного обеспечения. Практическое пособие: Пер. с англ. ООО «ТИД ДС», 2002. 432 с. 2 . Kung D., Gao J., Hsia P. and et al. Developing and object-oriented software testing and maintenance environment // Communications of the ACM. 1995. V. 38. № 10. P. 75-86. 3 . Souter A.L., Pollock L.L., Hisley D. Inter-class def-use analysis with partial class representations // Proceedings of the ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering PASTE'99, Toulouse (France), September 1999. 4 . Мейер Б. Объектно-ориентированное конструирование программных систем. M.: Русская Редакция, 2005. 5 . Pasareanu S., Willem Visser. A survey of new trends in symbolic execution for software testing and analysis // Int. J. Soft Tools Technol. Transfer. 2009. № 11. P. 339-353.
|