Automated Formal Testing of C API Using T2C Framework.

Automated Formal Testing of C API Using T2C Framework.

Авторы

Alexey V. Khoroshilov, Vladimir V. Rubanov, Eugene A. Shatokhin.

Издание

In Proceedings of the Third International Symposium «Leveraging Applications of Formal Methods, Verification and Validation» (ISoLA 2008), Porto Sani, Greece, October 13-15, 2008. pp 56-70.

ISBN 978-3-540-88478-1.

Научная группа

Технологии программирования

Все публикации за 2008 год Все публикации