Elena Zinovieva (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

5 Bertrand Jeannet, Thierry Jéron, Vlad Rusu, Elena Zinovieva: Symbolic Test Selection Based on Approximate Analysis. TACAS 2005: 349-364

4 Duncan Clarke, Thierry Jéron, Vlad Rusu, Elena Zinovieva: STG: A Symbolic Test Generation Tool. TACAS 2002: 470-475

3 Duncan Clarke, Thierry Jéron, Vlad Rusu, Elena Zinovieva: Automated Test and Oracle Generation for Smart-Card Applications. E-smart 2001: 58-70

2 Duncan Clarke, Thierry Jéron, Vlad Rusu, Elena Zinovieva: STG: a tool for generating symbolic test programs and oracles from operational specifications. ESEC / SIGSOFT FSE 2001: 301-302

1 Vlad Rusu, Elena Zinovieva: Analyzing Automata with Presburger Arithmetic and Uninterpreted Function Symbols. Electr. Notes Theor. Comput. Sci. 50(4): (2001)

Selection of 5 from 5 records - Elena Zinovieva has 4 coauthors

5		Bertrand Jeannet, Thierry Jéron, Vlad Rusu, Elena Zinovieva: Symbolic Test Selection Based on Approximate Analysis. TACAS 2005: 349-364
4		Duncan Clarke, Thierry Jéron, Vlad Rusu, Elena Zinovieva: STG: A Symbolic Test Generation Tool. TACAS 2002: 470-475
3		Duncan Clarke, Thierry Jéron, Vlad Rusu, Elena Zinovieva: Automated Test and Oracle Generation for Smart-Card Applications. E-smart 2001: 58-70
2		Duncan Clarke, Thierry Jéron, Vlad Rusu, Elena Zinovieva: STG: a tool for generating symbolic test programs and oracles from operational specifications. ESEC / SIGSOFT FSE 2001: 301-302
1		Vlad Rusu, Elena Zinovieva: Analyzing Automata with Presburger Arithmetic and Uninterpreted Function Symbols. Electr. Notes Theor. Comput. Sci. 50(4): (2001)