The following publications are possibly variants of this publication:
- STG: A Symbolic Test Generation ToolDuncan Clarke, Thierry Jéron, Vlad Rusu, Elena Zinovieva. TACAS 2002: 470-475 [doi]
- An Approach to Symbolic Test GenerationVlad Rusu, Lydie du Bousquet, Thierry Jéron. IFM 2000: 338-357 [doi]
- An Approach to Symbolic Test GenerationVlad Rusu, Lydie du Bousquet, Thierry Jéron. Preprint 2000.
- Symbolic execution based on language transformationAndrei Arusoaie, Dorel Lucanu, Vlad Rusu. Preprint 2015.
- Symbolic execution based on language transformationAndrei Arusoaie, Dorel Lucanu, Vlad Rusu. Comp. Lang., Syst. \& Struct., Volume 44 Part A:48-71, December 2015. [doi]
- Automated Test and Oracle Generation for Smart-Card ApplicationsDuncan Clarke, Thierry Jéron, Vlad Rusu, Elena Zinovieva. esmart 2001: 58-70 [doi]
- A Generic Approach to Symbolic ExecutionArusoaie, Andrei, Lucanu, Dorel, Rusu, Vlad. Rapport de recherche RR-8189, 2012.
- A Generic Framework for Symbolic ExecutionAndrei Arusoaie, Dorel Lucanu, Rusu, Vlad. Rapport de recherche RR-8189, 2012.
- A Generic Framework for Symbolic ExecutionAndrei Arusoaie, Dorel Lucanu, Vlad Rusu. Preprint 2013.
- A Generic Framework for Symbolic ExecutionAndrei Arusoaie, Dorel Lucanu, Vlad Rusu. SLE 2013: 281-301 [doi]