| |
| 2003 | ||
|---|---|---|
| 2 | EE | Victor V. Kuliamin, Alexandre Petrenko, Alexander Kossatchev, Igor B. Burdonov: The UniTesK Approach to Designing Test Suites. Programming and Computer Software 29(6): 310-322 (2003) |
| 1999 | ||
| 1 | EE | Igor B. Burdonov, Alexander Kossatchev, Alexandre Petrenko, Dmitri Galter: KVEST: Automated Generation of Test Suites from Formal Specifications. World Congress on Formal Methods 1999: 608-621 |
| 1 | Dmitri Galter | [1] |
| 2 | Alexander Kossatchev | [1] [2] |
| 3 | Victor V. Kuliamin | [2] |
| 4 | Alexandre Petrenko | [1] [2] |