Publications

Selected Papers

• Alexey Khoroshilov, Vadim Mutilin, Eugene Novikov, Pavel Shved, Alexander Strakh
  Linux Driver Verification Architecture (in Russian)
  Proceedings of ISPRAS, vol. 20, 2011.


• Alexey Khoroshilov, Vladimir Rubanov, Euegeny Shatokhin
  Automated Formal Testing of C API Using T2C Framework
  Proceedings of 3rd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, Greece, 2008.


• Denis Silakov, Vladimir Rubanov
  LSB Navigator – Online Reference for Linux Application Developers
  Proceedings of V Open Source Development Conference, Protva, 2008.


• Vladimir Rubanov
  Standardization and Testing as Success Factors for Linux Security
  Proceedings of XVII Conference on «Methods and tools for informational security", St. Petersburg, 2008.


• Alexey Khoroshilov, Vladimir Rubanov, Euegeny Shatokhin
  T2C: Technology for Automated Development of Tests for Basic Functionality
  Proceedings of ISPRAS, vol.I, part 2, 2008.


• Vladimir Rubanov
  Linux Standard Base (LSB): “Single Linux” Specification and Support Infrastructure
  Proceedings of the "Software Engineering Conference Russia 2007", November 2007.


• Vladimir Rubanov
  Linux Standard Base (LSB): The Single Platform for Linux Applications (in Russian)
  Proceedings of the I International Conference on "Standardizing Information Technology and Interoperability" (SITOP 2007), October 2007.


• Alexey Khoroshilov
  Formal Specification of Interfaces as a Way to Improve Interoperability (in Russian)
  Proceedings of the I International Conference on "Standardizing Information Technology and Interoperability" (SITOP 2007), October 2007.


• Alexey Khoroshilov, Victor Kuliamin, Alexander Petrenko, Vladimir Rubanov
  Formalization of Interface Standards and Automatic Generation of Conformance Tests (in Russian)
  Proceedings of Software Engineering Conference Russia (SECR 2006), November 2006.


• Alexey Khoroshilov
  Linux Standard Base: Success Story? (in Russian)
  Proceedings of ISPRAS, vol. 10, 2006.


• Victor Kuliamin
  Formal Approaches for Testing Mathematical Functions (in Russian)
  Proceedings of ISPRAS, vol. 10, 2006.


• A. Grinevich, A. Khoroshilov, V. Kuliamin, D. Markovtsev, A. Petrenko, V. Rubanov
  Using Formal Methods for Software Standards Enforcement (in Russian)
  Proceedings of ISPRAS, vol. 10, 2006.


• Victor V. Kuliamin, Nickolay V. Pakoulin, and Alexander K. Petrenko
  Practical Approach to Specification and
  Conformance Testing of Distributed Network Applications
  Report at the 2-nd International Service Availability Symposium, Berlin, April 2005.


• A.V. Barantsev, I.B. Burdonov, A.V. Demakov, A.V. Khoroshilov A.S. Kossatchev, V.V. Kuliamin, V.A. Omeltchenko, N.V. Pakoulin, A.K. Petrenko, S.V. Zelenov
  UniTESK Approach to Test Development: Achievements and Prospects
  Proceedings of ISPRAS. Vol. 5, 2004.
  

Press Releases and Presentations

• Eugene Shatokhin
  Using Dynamic Analysis To Hunt Down Problems in Kernel Modules
  Slides presented at LinuxCon Europe 2011, Prague, Czech Republic. October 26-28, 2011.
  


• Alexey Khoroshilov
  Linux Device Driver Verification Program
  Slides presented at LinuxCon Europe 2011, Prague, Czech Republic. October 26-28, 2011.
  


• Vladimir Rubanov
  Linux Standard Base (LSB): The Single Platform for Linux Applications (in Russian)
  Report at the I International Conference on "Standardizing Information Technology and Interoperability" (SITOP 2007, Moscow, 03 October 2007.


• Alexey Khoroshilov
  Formal Specification of Interfaces as a Way to Improve Interoperability (in Russian)
  Report at the I International Conference on "Standardizing Information Technology and Interoperability" (SITOP 2007, Moscow, 03 October 2007.


• Victor Kuliamin
  Formal Methods in Industrial Software Standards Enforcement
  Report at the PSI'06 international conference, Novosibirsk, 27 June 2006.


• Alexander Petrenko
  UniTESK: Testing Technology Based on Formal Specification
  Presentation at the IBM seminar, Moscow, 14 December 2005.


• ISPRAS
  Linux Verification Center is Open in Russia
  Press release, 12 October 2005.
  

Additional Information

Other publications and documents about UniTESK and corresponding tools can be found on the site http://unitesk.com/.