Travelled to:1 × Denmark
1 × France
Collaborated with:I.B.Bourdonov V.V.Kuliamin A.K.Petrenko I.B.Burdonov A.Petrenko D.Galter A.Kalinov M.Posypkin V.Shishkov
Talks about:test (4) suit (3) generat (2) formal (2) autom (2) architectur (1) forbidden (1) coverag (1) conform (1) system (1)
Person: Alexander Kossatchev
DBLP: Kossatchev:Alexander
Contributed to:
2006
2003
20021999Wrote 4 papers:
- MBT-2006-BourdonovKK #consistency #testing
- Formal Conformance Testing of Systems with Refused Inputs and Forbidden Actions (IBB, AK, VVK), pp. 83–96.
- 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.
- FM-v1-1999-BurdonovKPG #automation #generative #named #specification #testing
- KVEST: Automated Generation of Test Suites from Formal Specifications (IBB, AK, AP, DG), pp. 608–621.