Alexander K. Petrenko

Alexander K. Petrenko

Institute for System Programming Russian Academy of Sciences - Moscow / Russia
Engineering & Technology / Computer Science
AD Scientific Index ID: 4409622
Институт системного программирования Российской академии наук
person_outline Alexander K. Petrenko's MOST POPULAR ARTICLES
1-) The UniTesK approach to designing test suitesVV Kuliamin, AK Petrenko, AS Kossatchev, IB BurdonovProgramming and Computer Software 29 (6), 310-322, 2003113*2003
2-) UniTesK test suite architectureIB Bourdonov, AS Kossatchev, VV Kuliamin, AK PetrenkoFME 2002: Formal Methods—Getting IT Right: International Symposium of …, 20021122002
3-) Method and system for testing behavior of proceduresAS Kossatchev, AV Barancev, IB Burdonov, AK Petrenko, D GalterUS Patent 6,698,012, 2004802004
4-) Kvest: Automated generation of test suites from formal specificationsI Burdonov, A Kossatchev, A Petrenko, D GalterFM’99—Formal Methods: World Congress on Formal Methods in the Development …, 1999781999
5-) Establishing Linux Driver Verification ProcessA Khoroshilov, V Mutilin, A Petrenko, V ZakharovLecture Notes in Computer Science, 165-176, 2010612010