Eugene A. Shatokhin

Publication Activity (10 Years)

Years Active: 2008-2011
Publications (10 Years): 0

Publications

Vladimir V. Rubanov, Eugene A. Shatokhin
Runtime Verification of Linux Kernel Modules Based on Call Interception. ICST (2011)
Alexey V. Khoroshilov, Vladimir V. Rubanov, Eugene A. Shatokhin
Automated Formal Testing of C API Using T2C Framework. ISoLA (2008)