Follow
Alexander Kosachev
Alexander Kosachev
Институт системного прогроаммирования РАН
Verified email at ispras.ru
Title
Cited by
Cited by
Year
UniTesK test suite architecture
IB Bourdonov, AS Kossatchev, VV Kuliamin, AK Petrenko
FME 2002: Formal Methods—Getting IT Right: International Symposium ofá…, 2002
1122002
Method and system for testing behavior of procedures
AS Kossatchev, AV Barancev, IB Burdonov, AK Petrenko, D Galter
US Patent 6,698,012, 2004
802004
Kvest: Automated generation of test suites from formal specifications
I Burdonov, A Kossatchev, A Petrenko, D Galter
FM’99—Formal Methods: World Congress on Formal Methods in the Developmentá…, 1999
791999
Survey of compiler testing methods
AS Kossatchev, MA Posypkin
Programming and Computer Software 31, 10-19, 2005
722005
Method and system for forming skeletons for generating verification systems
AS Kossatchev, AV Barancev, IB Burdonov, AV Demakov, AK Petrenko, ...
US Patent 6,898,784, 2005
512005
Virtualization-based separation of privilege: working with sensitive data in untrusted environment
I Burdonov, A Kosachev, P Iakovenko
Proceedings of the 1st EuroSys Workshop on Virtualization Technology forá…, 2009
452009
Integration of functional and timed testing of real-time and concurrent systems
VV Kuliamin, AK Petrenko, NV Pakoulin, AS Kossatchev, IB Bourdonov
Perspectives of System Informatics: 5th International Andrei Ershov Memorialá…, 2003
402003
The UniTesK approach to designing test suites
VV Kuliamin, AK Petrenko, AS Kossatchev, IB Burdonov
Programming and Computer Software 29, 310-322, 2003
392003
Irredundant algorithms for traversing directed graphs: The deterministic case
IB Bourdonov, AS Kossatchev, VV Kuliamin
Programming and Computer Software 29, 245-258, 2003
372003
Formal conformance testing of systems with refused inputs and forbidden actions
IB Bourdonov, AS Kossatchev, VV Kuliamin
Electronic Notes in Theoretical Computer Science 164 (4), 83-96, 2006
362006
Application of finite automatons for program testing
IB Burdonov, AS Kossatchev, VV Kulyamin
Programming and Computer Software 26, 61-73, 2000
362000
Java specification extension for automated test development
IB Bourdonov, AV Demakov, AA Jarov, AS Kossatchev, VV Kuliamin, ...
Perspectives of System Informatics: 4th International Andrei Ershov Memorialá…, 2001
342001
Using ASM specifications for compiler testing
A Kalinov, A Kossatchev, A Petrenko, M Posypkin, V Shishko
Abstract State Machines 2003: Advances in Theory and Practice 10thá…, 2003
282003
Using A╦М specification for automatic test suite generation for mpC parallel programming language compiler
A Kalinov, A Kossatchev, M Posypkin, V ╦hishkov
262002
Coverage-driven automated compiler test suite generation
A Kalinov, A Kossatchev, A Petrenko, M Posypkin, V Shishkov
Electronic Notes in Theoretical Computer Science 82 (3), 500-514, 2003
252003
UniTesK: Model based testing in industrial practice
VV Kuliamin, AK Petrenko, AS Kossatchev, IB Bourdonov
1st European Conference on Model Driven Software Engineering, 55-63, 2003
252003
Irredundant algorithms for traversing directed graphs: The nondeterministic case
IB Bourdonov, AS Kossatchev, VV Kuliamin
Programming and Computer Software 30 (1), 2-17, 2004
242004
Formalization of test experiments
IB Bourdonov, AS Kossatchev, VV Kuliamin
Programming and Computer Software 33, 239-260, 2007
222007
Application of model-based approach for automated testing of optimizing compilers
AS Kossatchev, AK Petrenko, SV Zelenov, SA Zelenova
Proceedings of the International Workshop on Program Understandingá…, 2003
202003
Test generation for compilers and other formal text processors
SV Zelenov, SA Zelenova, AS Kossatchev, AK Petrenko
Programming and Computer Software 29 (2), 104-111, 2003
202003
The system can't perform the operation now. Try again later.
Articles 1–20