dblp.uni-trier.dewww.uni-trier.de

Elena Zinovieva Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2005
5EEBertrand Jeannet, Thierry Jéron, Vlad Rusu, Elena Zinovieva: Symbolic Test Selection Based on Approximate Analysis. TACAS 2005: 349-364
2002
4EEDuncan Clarke, Thierry Jéron, Vlad Rusu, Elena Zinovieva: STG: A Symbolic Test Generation Tool. TACAS 2002: 470-475
2001
3EEDuncan Clarke, Thierry Jéron, Vlad Rusu, Elena Zinovieva: Automated Test and Oracle Generation for Smart-Card Applications. E-smart 2001: 58-70
2EEDuncan 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
1EEVlad Rusu, Elena Zinovieva: Analyzing Automata with Presburger Arithmetic and Uninterpreted Function Symbols. Electr. Notes Theor. Comput. Sci. 50(4): (2001)

Coauthor Index

1Duncan Clarke [2] [3] [4]
2Bertrand Jeannet [5]
3Thierry Jéron [2] [3] [4] [5]
4Vlad Rusu [1] [2] [3] [4] [5]

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)