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