dblp.uni-trier.dewww.uni-trier.de

Alexander Kossatchev Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2007
16EEIgor B. Bourdonov, Alexander Kossatchev, Victor V. Kuliamin: Formalization of test experiments. Programming and Computer Software 33(5): 239-260 (2007)
15EEV. P. Ivannikov, A. 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
14EEIgor 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)
2005
13EEYuri Gurevich, Alexander K. Petrenko, Alexander Kossatchev: Preface. Electr. Notes Theor. Comput. Sci. 111: 1-3 (2005)
12EEAlexander Kossatchev, Mikhail Posypkin: Survey of compiler testing methods. Programming and Computer Software 31(1): 10-19 (2005)
2004
11EEIgor 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)
10EEAlexander Kossatchev, P. Kutter, Mikhail Posypkin: Automated Generation of Strictly Conforming Tests Based on Formal Specification of Dynamic Semantics of the Programming Language. Programming and Computer Software 30(4): 218-229 (2004)
2003
9EEAlexey Kalinov, Alexander Kossatchev, Alexander K. Petrenko, Mikhail Posypkin, Vladimir Shishkov: Using ASM Specifications for Compiler Testing. Abstract State Machines 2003: 415
8EEVictor 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
7EEAlexey Kalinov, Alexander Kossatchev, Alexander K. Petrenko, Mikhail Posypkin, Vladimir Shishkov: Coverage-driven Automated Compiler Test Suite Generation. Electr. Notes Theor. Comput. Sci. 82(3): (2003)
6EESergey V. Zelenov, Sophia A. Zelenova, Alexander Kossatchev, Alexander K. Petrenko: Test Generation for Compilers and Other Formal Text Processors. Programming and Computer Software 29(2): 104-111 (2003)
5EEIgor 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)
4EEVictor 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)
2002
3EEIgor B. Bourdonov, Alexander Kossatchev, Victor V. Kuliamin, Alexander K. Petrenko: UniTesK Test Suite Architecture. FME 2002: 77-88
2001
2EEIgor 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
1999
1EEIgor B. Burdonov, Alexander Kossatchev, Alexandre Petrenko, Dmitri Galter: KVEST: Automated Generation of Test Suites from Formal Specifications. World Congress on Formal Methods 1999: 608-621

Coauthor Index

1Igor B. Bourdonov [2] [3] [5] [8] [11] [14] [16]
2Igor B. Burdonov [1] [4]
3Alexey V. Demakov [2]
4Dmitri Galter [1]
5Yuri Gurevich [13]
6V. P. Ivannikov [15]
7Andrew A. Jarov [2]
8Alexey Kalinov [7] [9]
9A. S. Kamkin [15]
10Victor V. Kuliamin [2] [3] [4] [5] [8] [11] [14] [15] [16]
11P. Kutter [10]
12Nick V. Pakoulin [8]
13Alexander K. Petrenko [2] [3] [4] [6] [7] [9] [13] [15]
14Alexandre Petrenko [1] [8]
15Mikhail Posypkin [7] [9] [10] [12]
16Vladimir Shishkov [7] [9]
17Sergey V. Zelenov [2] [6]
18Sophia A. Zelenova [6]

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)