Automated Formal Testing of C API Using T2C Framework. - Alexey V. Khoroshilov; Vladimir V. Rubanov; Eugene A. Shatokhin (ISoLA, 2008)

Runtime Verification of Linux Kernel Modules Based on Call Interception. - Vladimir V. Rubanov; Eugene A. Shatokhin (ICST, 2011)