Automated Formal Testing of C API Using T2C Framework.


Automated Formal Testing of C API Using T2C Framework.

Authors

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

Edition

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.

Research Group

Software Engineering

All publications during 2008 All publications