Search the dblp DataBase
Alexander Kossatchev: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]
Publications of Author
- Alexey Kalinov, Alexander Kossatchev, Alexandre Petrenko, Mikhail Posypkin, Vladimir Shishkov
Using ASM Specifications for Compiler Testing. [Citation Graph (0, 0)][DBLP]
Abstract State Machines, 2003, pp:415- [Conf] - Igor B. Bourdonov, Alexey V. Demakov, Andrew A. Jarov, Alexander Kossatchev, Victor V. Kuliamin, Alexandre Petrenko, Sergey V. Zelenov
Java Specification Extension for Automated Test Development. [Citation Graph (0, 0)][DBLP]
Ershov Memorial Conference, 2001, pp:301-307 [Conf] - 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. [Citation Graph (0, 0)][DBLP]
Ershov Memorial Conference, 2003, pp:450-461 [Conf] - Igor B. Burdonov, Alexander Kossatchev, Alexandre Petrenko, Dmitri Galter
KVEST: Automated Generation of Test Suites from Formal Specifications. [Citation Graph (0, 0)][DBLP]
World Congress on Formal Methods, 1999, pp:608-621 [Conf] - Igor B. Bourdonov, Alexander Kossatchev, Victor V. Kuliamin, Alexandre Petrenko
UniTesK Test Suite Architecture. [Citation Graph (0, 0)][DBLP]
FME, 2002, pp:77-88 [Conf] - Yuri Gurevich, Alexander K. Petrenko, Alexandre Kossatchev
Preface. [Citation Graph (0, 0)][DBLP]
Electr. Notes Theor. Comput. Sci., 2005, v:111, n:, pp:1-3 [Journal] - Alexey Kalinov, Alexander Kossatchev, Alexandre Petrenko, Mikhail Posypkin, Vladimir Shishkov
Coverage-driven Automated Compiler Test Suite Generation. [Citation Graph (0, 0)][DBLP]
Electr. Notes Theor. Comput. Sci., 2003, v:82, n:3, pp:- [Journal] - Igor B. Bourdonov, Alexander Kossatchev, Victor V. Kuliamin
Formal Conformance Testing of Systems with Refused Inputs and Forbidden Actions. [Citation Graph (0, 0)][DBLP]
Electr. Notes Theor. Comput. Sci., 2006, v:164, n:4, pp:83-96 [Journal] - Alexander Kossatchev, P. Kutter, Mikhail Posypkin
Automated Generation of Strictly Conforming Tests Based on Formal Specification of Dynamic Semantics of the Programming Language. [Citation Graph (0, 0)][DBLP]
Programming and Computer Software, 2004, v:30, n:4, pp:218-229 [Journal] - Alexander Kossatchev, Mikhail Posypkin
Survey of compiler testing methods. [Citation Graph (0, 0)][DBLP]
Programming and Computer Software, 2005, v:31, n:1, pp:10-19 [Journal] - Victor V. Kuliamin, Alexandre Petrenko, Alexander Kossatchev, Igor B. Burdonov
The UniTesK Approach to Designing Test Suites. [Citation Graph (0, 0)][DBLP]
Programming and Computer Software, 2003, v:29, n:6, pp:310-322 [Journal] - Igor B. Bourdonov, Alexander Kossatchev, Victor V. Kuliamin
Irredundant Algorithms for Traversing Directed Graphs: The Deterministic Case. [Citation Graph (0, 0)][DBLP]
Programming and Computer Software, 2003, v:29, n:5, pp:245-258 [Journal] - Igor B. Bourdonov, Alexander Kossatchev, Victor V. Kuliamin
Irredundant Algorithms for Traversing Directed Graphs: The Nondeterministic Case. [Citation Graph (0, 0)][DBLP]
Programming and Computer Software, 2004, v:30, n:1, pp:2-17 [Journal] - Sergey V. Zelenov, Sophia A. Zelenova, Alexander Kossatchev, Alexandre Petrenko
Test Generation for Compilers and Other Formal Text Processors. [Citation Graph (0, 0)][DBLP]
Programming and Computer Software, 2003, v:29, n:2, pp:104-111 [Journal]
Search in 0.018secs, Finished in 0.019secs
| NOTICE1 |
|---|
| System may not be available sometimes or not working properly, since it is still in development with continuous upgrades |
| NOTICE2 |
|---|
| The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP |
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002