BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Austria
1 × France
1 × United Kingdom
Collaborated with:
T.Jéron V.Rusu D.Clarke B.Jeannet
Talks about:
symbol (3) test (3) generat (2) tool (2) stg (2) approxim (1) program (1) analysi (1) specif (1) select (1)

Person: Elena Zinovieva

DBLP DBLP: Zinovieva:Elena

Contributed to:

TACAS 20052005
TACAS 20022002
ESEC/FSE 20012001

Wrote 3 papers:

TACAS-2005-JeannetJRZ #analysis #approximate #testing
Symbolic Test Selection Based on Approximate Analysis (BJ, TJ, VR, EZ), pp. 349–364.
TACAS-2002-ClarkeJRZ #generative #named #testing
STG: A Symbolic Test Generation Tool (DC, TJ, VR, EZ), pp. 470–475.
ESEC-FSE-2001-ClarkeJRZ #generative #named #source code #specification
STG: a tool for generating symbolic test programs and oracles from operational specifications (DC, TJ, VR, EZ), pp. 301–302.

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.