Automated Formal Testing of C API Using T2C Framework.

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

Browse the full ISoLA paper archive.