Publications de Elena Zinovieva

Thèses

1. E. Zinovieva, Méthodes symboliques pour la génération de tests de systèmes réactifs comportant des données, Thèse de l'Université de Rennes 1, Novembre 2004. (détails)

Articles de journaux

1. V. Rusu, E. Zinovieva, Analyzing Automata with Presburger Arithmetic and Uninterpreted Function Symbols, Electronic Notes in Theoretical Computer Science, 50(4), 2001. (détails)

Conferences internationales

1. B. Jeannet, T. Jéron, V. Rusu, E. Zinovieva, Symbolic Test Selection based on Approximate Analysis, in 11th Int. Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'05), Volume 3440 of LNCS, Pages 349-364, Edinburgh (Scottland), Avril 2005. (détails)
2. D. Clarke, T. Jéron, V. Rusu, E. Zinovieva, STG: a Symbolic Test Generation tool, in (Tool paper) Tools and Algorithms for the Construction and Analysis of Systems (TACAS'02). Volume 2280 of LNCS, 2002. (détails)
3. V. Rusu, E. Zinovieva, D. Clarke, Verifying Invariants More Automatically, in Verification and Computatoiional Logic, VCL'02, 2002. (détails) download
4. E. Zinovieva, Symbolic Test Generation for Reactive Systems, in Proceedings of the Modelling and Verifying Parallel Processes Summer School (MOVEP'02), Juin 2002. (détails)
5. D. Clarke, T. Jéron, V. Rusu, E. Zinovieva, Automated Test and Oracle Generation for Smart-Card Applications, in International Conference on Research in Smart Cards (e-Smart'01), Volume 2140 of LNCS, Pages 58-70, 2001. (détails)
6. D. Clarke, T. Jéron, V. Rusu, E. Zinovieva, STG : A Tool for Generating Symbolic Test Programs and Oracles from Operational Specifications, in Joint 8th European Software Engineering Conference (ESEC) and 9th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-9), 2001. (détails)

Rapport de recherche

1. B. Jeannet, T. Jéron, V. Rusu, E. Zinovieva, Symbolic test selection using approximate analysis, Rapport de recherche IRISA, No 1649, Octobre 2004. (détails)

This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder.