BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Denmark
1 × South Africa
Collaborated with:
O.L.Petrenko A.Kossatchev I.B.Bourdonov V.V.Kuliamin A.Kalinov M.Posypkin V.Shishkov
Talks about:
test (2) suit (2) architectur (1) challeng (1) generat (1) economi (1) coverag (1) method (1) formal (1) driven (1)

Person: Alexander K. Petrenko

DBLP DBLP: Petrenko:Alexander_K=

Facilitated 4 volumes:

MBT 2009Ed
MBT 2008Ed
MBT 2007Ed
MBT 2006Ed

Contributed to:

SEFM 20082008
LDTA 20032003
FME 20022002

Wrote 3 papers:

SEFM-2008-PetrenkoP #challenge #formal method
Formal Methods and Innovation Economy: Facing New Challenges (AKP, OLP), pp. 367–371.
LDTA-2003-KalinovKPPS #automation #compilation #generative #testing
Coverage-driven Automated Compiler Test Suite Generation (AK, AK, AKP, MP, VS), pp. 500–514.
FME-2002-BourdonovKKP #architecture #testing
UniTesK Test Suite Architecture (IBB, AK, VVK, AKP), pp. 77–88.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.