Articles and Documents

Selected Articles

• Vladimir Rubanov
  Automatic Analysis of Applications for Portability Across Linux Distributions
  Proceedings of OpenCert 2009 Workshop, ETAPS Conference 2009, York, UK.

• Vladimir Rubanov, Alexey Khoroshilov, 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.

• Vladimir Rubanov, Alexey Khoroshilov, 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.

• Vladimir Rubanov, Denis Silakov
  Russian Linux Verification Center: Contributions to the Linux Community (in Russian)
  Proceedings of IV International Conference of Open Source Developers, Obninsk, July 2007.

• Alexey Grinevich, Denis Markovtsev, Vladimir Rubanov
  Linux Compatibility Problems (in Russian)
  "Open Systems" Magazine, #01/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.

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

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

• A. Grinevich, V. Kuliamin, D. Markovtsev, A. Petrenko, V. Rubanov, A. Khoroshilov
  Using Formal Methods for Software Standards Enforcement (in Russian)
  Proceedings of ISP RAS, 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, S.V. Zelenov, A.S. Kossatchev, V.V. Kuliamin, V.A. Omeltchenko, N.V. Pakoulin, A.K. Petrenko, A.V. Khoroshilov
  UniTESK Approach to Test Development: Achievements and Prospects
  Proceedings of Institute for System Programming of RAS. Vol. 5, 2004.
  

Press Releases and Presentations

• Vladimir Rubanov
  Linux Standard Base (LSB): “Single Linux” Specification and Support Infrastructure (in Russian)
  Report at the Software Engineering Conference Russia (SECR 2007), Moscow, 01 November 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.

• 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.

• Vladimir Rubanov
  Russian Linux Verification Center: Contributions to the Linux Community (in Russian)
  Report at the IV International Conference of Open Source Developers, Obninsk, 23 July 20.

• Vladimir Rubanov
  LSB Infrastructure: Software Systems
  LSB Infrastructure: Testing and Analytics
  Reports at the Linux Foundation Collaboration Summit, 14 June 2007.

• Vladimir Rubanov
  Formalization of Interface Standards and Automatic Generation of Conformance Tests (in Russian)
  Доклад на конференции Software Engineering Conference Russia (SECR 2006), Moscow, 17 November 2006.

• Vladimir Rubanov
  Open Testing - Key Success Factor for Open Standards
  Report at the LinuxWorld Moscow 2006 international conference, 05 September 2006.

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

• Vladimir Rubanov
  Establishing Linux Verification Center and Creation of an Open-Source LSB Test Suite
  Presentation at the IBM seminar, Moscow, 14 December 2005.

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

• ISP RAS
  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/.