Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Alexander K. Petrenko
2010 – today
- 2013
[c7]Alexander K. Petrenko, Victor V. Kuliamin, Andrey Maksimov: UniTESK: Component Model Based Testing. ICTERI 2013: 573-581- [e2]Alexander K. Petrenko, Holger Schlingloff (Eds.): Proceedings Eighth Workshop on Model-Based Testing. EPTCS 111, 2013
- 2012
- [c6]Dirk Beyer, Alexander K. Petrenko: Linux Driver Verification - (Position Paper). ISoLA (2) 2012: 1-6
- [e1]Alexander K. Petrenko, Holger Schlingloff (Eds.): Proceedings 7th Workshop on Model-Based Testing. EPTCS 80, 2012
- 2010
- [j12]Luís Soares Barbosa, Antonio Cerone, Alexander K. Petrenko, Siraj A. Shaikh: Certification of open-source software: A role for formal methods? Comput. Syst. Sci. Eng. 25(4) (2010)
- [j11]Bernd Finkbeiner, Yuri Gurevich, Alexander K. Petrenko: Preface. Electr. Notes Theor. Comput. Sci. 264(3): 1 (2010)
2000 – 2009
- 2009
- [j10]Bernd Finkbeiner, Yuri Gurevich, Alexander K. Petrenko: Preface. Electr. Notes Theor. Comput. Sci. 253(2): 1 (2009)
- 2008
- [j9]Bernd Finkbeiner, Yuri Gurevich, Alexander K. Petrenko: Preface. Electr. Notes Theor. Comput. Sci. 220(1): 1 (2008)
- [j8]V. A. Nepomnyashchii, Alexander K. Petrenko: From the editors of the special issue. Programming and Computer Software 34(6): 305-306 (2008)
- [c5]Alexander K. Petrenko, Olga L. Petrenko: Formal Methods and Innovation Economy: Facing New Challenges. SEFM 2008: 367-371
- 2007
- [j7]Bernd Finkbeiner, Yuri Gurevich, Alexander K. Petrenko: Preface. Electr. Notes Theor. Comput. Sci. 190(2): 1 (2007)
- [j6]V. P. Ivannikov, Alexander 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
- [j5]Bernd Finkbeiner, Yuri Gurevich, Alexander K. Petrenko: Preface. Electr. Notes Theor. Comput. Sci. 164(4): 1 (2006)
- [c4]Sergey V. Zelenov, Denis V. Silakov, Alexander K. Petrenko, Mirko Conrad, Ines Fey: Automatic Test Generation for Model-Based Code Generators. ISoLA 2006: 75-81
- 2005
- [j4]Yuri Gurevich, Alexander K. Petrenko, Alexander Kossatchev: Preface. Electr. Notes Theor. Comput. Sci. 111: 1-3 (2005)
- 2003
- [j3]Alexey Kalinov, Alexander Kossatchev, Alexander K. Petrenko, Mikhail Posypkin, Vladimir Shishkov: Coverage-driven Automated Compiler Test Suite Generation. Electr. Notes Theor. Comput. Sci. 82(3): 500-514 (2003)
- [j2]Sergey 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)
- [j1]Victor 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)
- [c3]Alexey Kalinov, Alexander Kossatchev, Alexander K. Petrenko, Mikhail Posypkin, Vladimir Shishkov: Using ASM Specifications for Compiler Testing. Abstract State Machines 2003: 415
- 2002
- [c2]Igor B. Bourdonov, Alexander Kossatchev, Victor V. Kuliamin, Alexander K. Petrenko: UniTesK Test Suite Architecture. FME 2002: 77-88
- 2001
- [c1]Igor 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
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 11:17 CEST by the dblp team