Eugene A. Shatokhin

According to our database, Eugene A. Shatokhin authored at least 2 papers between 2008 and 2011.

Collaborative distances:

• Dijkstra number of six.
• Erdős number of five.

2011

Runtime Verification of Linux Kernel Modules Based on Call Interception.

Vladimir V. Rubanov, Eugene A. Shatokhin

Proceedings of the Fourth IEEE International Conference on Software Testing, 2011

2008

Automated Formal Testing of C API Using T2C Framework.

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

Proceedings of the Leveraging Applications of Formal Methods, 2008