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