Elena Leroux

Elena Leroux

Institut de recherche en informatique et systèmes aléatoires - Rennes / France
Engineering & Technology / Computer Science
AD Scientific Index ID: 4411200
Institute for Research in Computer Science and Random Systems
person_outline Elena Leroux's MOST POPULAR ARTICLES
1-) STG: A symbolic test generation toolD Clarke, T Jéron, V Rusu, E ZinovievaInternational Conference on Tools and Algorithms for the Construction and …, 20021612002
2-) Symbolic test selection based on approximate analysisB Jeannet, T Jéron, V Rusu, E ZinovievaInternational Conference on Tools and Algorithms for the Construction and …, 20051052005
3-) Automated test and oracle generation for smart-card applicationsD Clarke, T Jéron, V Rusu, E ZinovievaInternational Conference on Research in Smart Cards, 58-70, 2001472001
4-) STG: a tool for generating symbolic test programs and oracles from operational specificationsD Clarke, T Jéron, V Rusu, E ZinovievaProceedings of the 8th European software engineering conference held jointly …, 2001322001
5-) Safe reconfiguration of Coqcots and Pycots componentsJ Buisson, F Dagnat, E Leroux, S MartinezJournal of Systems and Software 122, 430-444, 2016152016