| UniTesK test suite architecture IB Bourdonov, AS Kossatchev, VV Kuliamin, AK Petrenko FME 2002: Formal Methods—Getting IT Right: International Symposium of …, 2002 | 112 | 2002 |
| Method and system for testing behavior of procedures AS Kossatchev, AV Barancev, IB Burdonov, AK Petrenko, D Galter US Patent 6,698,012, 2004 | 80 | 2004 |
| 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 | 79 | 1999 |
| Survey of compiler testing methods AS Kossatchev, MA Posypkin Programming and Computer Software 31, 10-19, 2005 | 73 | 2005 |
| 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 | 51 | 2005 |
| 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 | 46 | 2009 |
| 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 | 40 | 2003 |
| The UniTesK approach to designing test suites VV Kuliamin, AK Petrenko, AS Kossatchev, IB Burdonov Programming and Computer Software 29, 310-322, 2003 | 39 | 2003 |
| Irredundant algorithms for traversing directed graphs: The deterministic case IB Bourdonov, AS Kossatchev, VV Kuliamin Programming and Computer Software 29, 245-258, 2003 | 37 | 2003 |
| 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 | 36 | 2006 |
| Application of finite automatons for program testing IB Burdonov, AS Kossatchev, VV Kulyamin Programming and Computer Software 26, 61-73, 2000 | 36 | 2000 |
| 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 | 34 | 2001 |
| 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 | 28 | 2003 |
| Using AËМ specification for automatic test suite generation for mpC parallel programming language compiler A Kalinov, A Kossatchev, M Posypkin, V Ëhishkov | 26 | 2002 |
| 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 | 25 | 2003 |
| 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 | 25 | 2003 |
| Irredundant algorithms for traversing directed graphs: The nondeterministic case IB Bourdonov, AS Kossatchev, VV Kuliamin Programming and Computer Software 30 (1), 2-17, 2004 | 24 | 2004 |
| Formalization of test experiments IB Bourdonov, AS Kossatchev, VV Kuliamin Programming and Computer Software 33, 239-260, 2007 | 22 | 2007 |
| 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 | 20 | 2003 |
| 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 | 20 | 2003 |
