ISPRAS Logo
RedVerst
Intro Background Projects Offers Publications Downloads Staff
ISPRAS Description Logo
Home   R&D Groups   Projects   Grants   Publications   Downloads

Publications

Specification Based Testing: Towards Practice:

A.Petrenko
      VI Ershov conference proc., LNCS 2244, 2001.

J@va : extension of Java for real-life specification and testing:

I.B.Bourdonov, A.V.Demakov, A.A.Jarov, A.S.Kossatchev, V.V.Kuliamin, A.K.Petrenko, S.V.Zelenov
      IV Ershov conference proc., LNCS 2244, 2001.

Experiences in using testing tools and technology in real-life applications:

A.K.Petrenko, I.B.Bourdonov, A.S.Kossatchev, V.V.Kuliamin
      In Proc. of the SETT'2001, Pune, India, January 2001.

Automated Generation of Test Suites from Formal Specifications:

A.Petrenko
      MICROSOFT RESEARCH LECTURE 24 February, 2000, Microsoft Research Ltd, St George House, Cambridge.

FSM using for Software Testing:

Igor Burdonov, Alexander.Kosachev, Victor Kuliamin
      Programming and Computer Software, Moscow-New-York, No. 2, 2000.

Formal specifications in technologies of reverse engineering and software verification:

I.B.Bourdonov, A.S.Kossatchev, A.V.Maximov, A.K.Petrenko
      Proc. of ISPRAS, Moscow, 1999.

KVEST: Automated Generation of Test Suites from Formal Specifications:

I.Bourdonov, A.V.Demakov, A.Kossatchev, A.Petrenko, and D.Galter
      Proceedings of World Congress of Formal Methods, Toulouse, France, LNCS, No. 1708, 1999, pp. 608-621.

Generation of Documentation from Formal Specification:

A.Petrenko, A.Demakov

ISPRAS Experience in Model Based Testing:

Alexander K. Petrenko
      Intel Academic Forum, Budapest, September, 2002. (download winzip-compressed ppt file, size 56875 bytes)

Test Generation for Compilers and Other Formal Text Processors:

S. V. Zelenov, S. A. Zelenova, A. S. Kossatchev, A. K. Petrenko
      Programming and Computer Software, Vol. 29, No. 2, 2003, pp. 104-111.

Integration of Functional and Timed Testing of Real-time and Concurrent Systems:

V. V. Kuliamin, A. K. Petrenko, N. V. Pakoulin, A. S. Kossatchev, I. B. Bourdonov
      Proc. of Andrei Ershov Fifth International Conference PCI'03, Novosibirsk, LNCS, 2003, (printed).

Application of Model-Based Approach for Automated Testing of Optimizing Compilers:

A. S. Kossatchev, A. K. Petrenko, S. V. Zelenov, S. A. Zelenova(download pdf file, size 193913 bytes)
      In Proceedings of the International Workshop on Program Understanding (Novosibirsk - Altai Mountains, Russia), July 14-16, 2003, 81-88.

The UniTesK Approach to Designing Test Suites:

V. V. Kuliamin, A. K. Petrenko, A. S. Kossatchev, I. B. Burdonov
      Programming and Computer Software, Vol. 29, No. 6, 2003, pp. 310-322.

UniTesK: Model Based Testing in Industrial Practice:

V. V. Kuliamin, A. K. Petrenko, A. S. Kossatchev, I. B. Burdonov(download pdf file, size 138682 bytes)
      Proc. of the 1st European Conference on Model-Driven Software Engineering, Nuremberg. Germany, 2003.

Irredundant Algorithms for Traversing Directed Graphs: The Deterministic Case:

I. B. Burdonov, A. S. Kossatchev, V. V. Kuliamin
      Programming and Computer Software, Vol. 29, No. 5, 2003, pp. 245-258.

Asynchrounous automata: classification and testing:

B. Burdonov, A. S. Kossatchev, V. V. Kuliamin (download winzip-compressed russian version doc file, size 200110 bytes)
      Proceedings of ISP RAS, Vol. 4, 2003. In Russian.

Application of fomal methods for testing of IPv6 implementation:

G. V. Kluchnikov, A. S. Kossatchev, N. V. Pakulin, A. K. Petrenko, V. Z. Shnitman (download winzip-compressed russian version doc file, size 36828 bytes)
      Proceedings of ISP RAS, Vol. 4, 2003. In Russian.

Testing among software quality evaluation methods:

V. V. Kuliamin, O. L. Petrenko (download winzip-compressed russian version doc file, size 25454 bytes)
      Proceedings of ISP RAS, Vol. 4, 2003. In Russian.

Model based testing:

A. Petrenko, E. Britvina, S. Groshev, A. Monakhov, O. Petrenko
      Otkrytye sistemy (Open Systems), No. 9, 2003. In Russian.

Rapid Trainings on Specification Based Testing Tools:

O. Petrenko, V. Omelchenko (download pdf file, size 772147 bytes; download winzip-compressed russian version doc file, size 164543 bytes)
      Proceedings of 1-st South-East European Workshop on Formal Methods, Greece, 2003.

Applying Model Based Testing in Different Contexts:

V. V. Kuliamin, A. K. Petrenko (download pdf file, size 304804 bytes)
      The article presents ISP RAS experience in application of model based testing in different areas and different project contexts. The two methods presented - UniTesK and OTK - demonstrate possibility to fit the constraints of a particular project by changing the technical aspects of test construction methods used.

Model Based Testing of Large-scale Software: How Can Simple Models Help to Test Complex System:

V. V. Kuliamin (download pdf file, size 145084 bytes)
      The article deals with issues of model based testing of large software. The main idea is that there are no simple approach that can provide adequate testing of rather complex systems, but we can organize the artifacts to be developed and development tasks in such a way that high-quality testing of complex systems becomes manageable and predictable process. UniTesK test development technology is a promising approach to solve this problem.

Enhancing IPMP-2 for Conformance Testing:

N. Pakoulin, A. Monakhov, C. Cheng, J. Wen (download pdf file, size 288437 bytes)
      A joint report of ISP RAS and Beijing Mediamagic submitted to the 11-th meeting of AVS DRM in Beijing, China. The report proposes a number of amendments to IPMP-2 Specification (ISO/IEC FDIS 13818?11) in order to improve interoperability of IPMP-2-enabled devices. December 2004.

 


Copyright © 2002 ISP RAS