Travelled to:1 × Estonia
1 × United Kingdom
Collaborated with:S.A.Zelenova
Talks about:test (2) generat (1) parser (1) compil (1) posit (1) optim (1) negat (1) model (1) autom (1) base (1)
Person: Sergey V. Zelenov
DBLP: Zelenov:Sergey_V=
Contributed to:
20072005Wrote 2 papers:
- TestCom-FATES-2007-ZelenovZ #compilation #modelling #optimisation #testing
- Model-Based Testing of Optimizing Compilers (SVZ, SAZ), pp. 365–377.
- FATES-2005-ZelenovZ #automation #generative #parsing #testing
- Automated Generation of Positive and Negative Tests for Parsers (SVZ, SAZ), pp. 187–202.