17-Nov-2006: OLVER Presented at SECR 2006

Methods for formalization of SW interface standards and automatic generation of conformance tests that are used in the OLVER project presented at the Software Engineering Conference Russia (SECR 2006). You can view abstract in English of the paper presented (the original report and the paper are in Russian at linuxtesting.ru).