Articles and Documents

Selected Articles

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

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

• 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, A. Khoroshilov, V. Kuliamin, D. Markovtsev, A. Petrenko, V. Rubanov
  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, 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 Institute for System Programming of RAS. Vol. 5, 2004.
  

Press Releases and Presentations

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

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