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: Zinovieva:Elena
Contributed to:
20052002
2001Wrote 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.