Victor V. Kuliamin Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2013
c11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jens Grabowski, Victor V. Kuliamin, Alain-Georges Vouffo Feudjio, Antal Wu-Hen-Chang, Milan Zoric: Towards the Usage of MBT at ETSI. MBT 2013: 30-34
2011
j13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Victor V. Kuliamin, Alexander Petukhov: A survey of methods for constructing covering arrays. Programming and Computer Software 37(3): 121-146 (2011)
2010
j12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Victor V. Kuliamin: Component architecture of model-based testing environment. Programming and Computer Software 36(5): 289-305 (2010)
c10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Victor V. Kuliamin, Alexander Petukhov: Covering Arrays Generation Methods Survey. ISoLA (2) 2010: 382-396
2009
j11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Victor V. Kuliamin: Integration of verification methods for program systems. Programming and Computer Software 35(4): 212-222 (2009)
c9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Victor V. Kuliamin, Vitaliy A. Omelchenko, Olga L. Petrenko: Formal Methods: for All or for Chosen? CSEDU (2) 2009: 217-222
c8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Victor V. Kuliamin: Standardization and Testing of Mathematical Functions. Ershov Memorial Conference 2009: 257-268
2008
j10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
R. S. Zybin, Victor V. Kuliamin, Andrey V. Ponomarenko, Vladimir V. Rubanov, E. S. Chernov: Automation of broad sanity test generation. Programming and Computer Software 34(6): 351-363 (2008)
c7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Victor V. Kuliamin: Test Construction for Mathematical Functions. TestCom/FATES 2008: 23-37
2007
j9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Victor V. Kuliamin: Standardization and testing of implementations of mathematical functions in floating point numbers. Programming and Computer Software 33(3): 154-173 (2007)
j8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Igor B. Bourdonov, Alexander Kossatchev, Victor V. Kuliamin: Formalization of test experiments. Programming and Computer Software 33(5): 239-260 (2007)
j7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
V. P. Ivannikov, Alexander S. Kamkin, Alexander Kossatchev, Victor V. Kuliamin, Alexander K. Petrenko: The use of contract specifications for representing requirements and for functional testing of hardware models. Programming and Computer Software 33(5): 272-282 (2007)
2006
j6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Igor B. Bourdonov, Alexander Kossatchev, Victor V. Kuliamin: Formal Conformance Testing of Systems with Refused Inputs and Forbidden Actions. Electr. Notes Theor. Comput. Sci. 164(4): 83-96 (2006)
c6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Alexey Grinevich, Alexey V. Khoroshilov, Victor V. Kuliamin, Denis Markovtsev, Alexandre Petrenko, Vladimir V. Rubanov: Formal Methods in Industrial Software Standards Enforcement. Ershov Memorial Conference 2006: 456-466
2005
j5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Victor V. Kuliamin: Multi-paradigm Models as Source for Automated Test Construction. Electr. Notes Theor. Comput. Sci. 111: 137-160 (2005)
j4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Victor V. Kuliamin: Test Sequence Construction Using Minimum Information on the Tested System. Programming and Computer Software 31(6): 301-309 (2005)
c5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Victor V. Kuliamin, Nick V. Pakoulin, Alexandre Petrenko: Practical Approach to Specification and Conformance Testing of Distributed Network Applications. ISAS 2005: 68-83
2004
j3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Igor B. Bourdonov, Alexander Kossatchev, Victor V. Kuliamin: Irredundant Algorithms for Traversing Directed Graphs: The Nondeterministic Case. Programming and Computer Software 30(1): 2-17 (2004)
c4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Victor V. Kuliamin: Model Based Testing of Large-scale Software: How Can Simple Models Help to Test Complex System. ISoLA (Preliminary proceedings) 2004: 311-316
2003
j2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Igor B. Bourdonov, Alexander Kossatchev, Victor V. Kuliamin: Irredundant Algorithms for Traversing Directed Graphs: The Deterministic Case. Programming and Computer Software 29(5): 245-258 (2003)
j1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Victor V. Kuliamin, Alexander K. Petrenko, Alexander Kossatchev, Igor B. Burdonov: The UniTesK Approach to Designing Test Suites. Programming and Computer Software 29(6): 310-322 (2003)
c3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Victor V. Kuliamin, Alexandre Petrenko, Nick V. Pakoulin, Alexander Kossatchev, Igor B. Bourdonov: Integration of Functional and Timed Testing of Real-Time and Concurrent Systems. Ershov Memorial Conference 2003: 450-461
2002
c2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Igor B. Bourdonov, Alexander Kossatchev, Victor V. Kuliamin, Alexander K. Petrenko: UniTesK Test Suite Architecture. FME 2002: 77-88
2001
c1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Igor B. Bourdonov, Alexey V. Demakov, Andrew A. Jarov, Alexander Kossatchev, Victor V. Kuliamin, Alexander K. Petrenko, Sergey V. Zelenov: Java Specification Extension for Automated Test Development. Ershov Memorial Conference 2001: 301-307

Coauthor Index

1Igor B. Bourdonov
[j8] [j6] [j3] [j2] [c3] [c2] [c1]
2Igor B. Burdonov
[j1]
3E. S. Chernov
[j10]
4Alexey V. Demakov
[c1]
5Alain-Georges Vouffo Feudjio
[c11]
6Jens Grabowski
[c11]
7Alexey Grinevich
[c6]
8Victor Ivannikov (V. P. Ivannikov)
[j7]
9Andrew A. Jarov
[c1]
10Alexander S. Kamkin
[j7]
11Alexey V. Khoroshilov
[c6]
12Alexander Kossatchev
[j8] [j7] [j6] [j3] [j2] [j1] [c3] [c2] [c1]
13Denis Markovtsev
[c6]
14Vitaliy A. Omelchenko
[c9]
15Nick V. Pakoulin
[c5] [c3]
16Alexander K. Petrenko
[j7] [j1] [c2] [c1]
17Alexandre Petrenko
[c6] [c5] [c3]
18Olga L. Petrenko
[c9]
19Alexander Petukhov
[j13] [c10]
20Andrey V. Ponomarenko
[j10]
21Vladimir V. Rubanov
[j10] [c6]
22Antal Wu-Hen-Chang
[c11]
23Sergey V. Zelenov
[c1]
24Milan Zoric
[c11]
25R. S. Zybin
[j10]

Colors in the list of coauthors

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Sat May 25 05:13:31 2013 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page