МОЛОДЕЖНЫЙ НАУЧНО-ТЕХНИЧЕСКИЙ ВЕСТНИК

Файл статьи: Медников А.В..pdf (271.08Кб)

1.     Coward P.D. Symbolic execution systems - a review // Software Engineering Journal. 1988. No. 3(6). P. 229-239.

2.      Godefroid P.  Test Generation Using Symbolic Execution // IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (Hyderabad, December, 15-17, 2012 г.): proceedings. Hyderabad, 2012. P. 24-33.

3.     Boonstoppel P., Cadar C., Engler D. RWset: Attacking Path Explosion in Constraint-Based Test Generation // ETAPS Conference on Tools and Algorithms for the Construction and Analysis of Systems(Budapest, March 29-April, 2008г.). Budapest, 2008. P. 351-366.

4.     Ахо А.В., Лам М.С., Сети Р., Ульман Д.Д. Компиляторы. Принципы, технологии и инструментарий: пер. с англ. / под ред. И.В. Красикова. М.: ООО «И.Д. Вильямс», 2008. 1184 с. [Aho A.V., Lam M.S., Sethi R., Ullman J.D. Compilers. Principles, Techniques & Tools. 2nd ed. Addison-Wesley, 2006. 1000 p.].