Применение динамического анализа для поиска дефектов в программах на языке
Аннотация
Список литературы
1. Новикова Н. М. Основы оптимизации. М.: МГУ, 1998. 17–22 c.
2. Eén N., Sörensson N. MiniSat solver [HTML] (http://minisat.se/)
3. Ganesh V., Dill D. L. A Decision Procedure for Bit-Vectors and Arrays // In Proceedings of Computer Aided Verification. 2007. P. 524–536.
4. Исаев И. К., Сидоров Д. В. Применение динамического анализа для генерации входных данных, демонстрирующих критические ошибки и уязвимости в программах // Программирование. 2010. № 4. С. 1-16.
5. Valgrind. Instrumentation Framework for Building Dynamic Analysis Tools [HTML](http://valgrind.org/)
6. Apache Commons Byte Code Engineering Library [HTML](http://commons.apache.org/bcel)
Рецензия
Для цитирования:
Вартанов С.П., Герасимов А.Ю. Применение динамического анализа для поиска дефектов в программах на языке. Труды Института системного программирования РАН. 2013;25:9-28.
For citation:
Vartanov S., Gerasimov A. Applying dynamic analysis for defect detection in Java-applications. Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS). 2013;25:9-28. (In Russ.)