Automated Test and Oracle Generation for Smart-Card Applications. - Duncan Clarke; Thierry Jéron; Vlad Rusu; Elena Zinovieva 001 (E-smart, 2001)

STG: a tool for generating symbolic test programs and oracles from operational specifications. - Duncan Clarke; Thierry Jéron; Vlad Rusu; Elena Zinovieva 001 (ESEC / SIGSOFT FSE, 2001)

Analyzing Automata with Presburger Arithmetic and Uninterpreted Function Symbols. - Vlad Rusu; Elena Zinovieva 001 (VEPAS, 2001)

STG: A Symbolic Test Generation Tool. - Duncan Clarke; Thierry Jéron; Vlad Rusu; Elena Zinovieva 001 (TACAS, 2002)

Symbolic Test Generation for Reactive Systems with Data. (Méthodes symboliques pour la génération de tests desystèmes réactifs comportant des données). - Elena Zinovieva 001 (2004)

Symbolic Test Selection Based on Approximate Analysis. - Bertrand Jeannet; Thierry Jéron; Vlad Rusu; Elena Zinovieva 001 (TACAS, 2005)

Test de conformité basé sur l'architecture logicielle. - Elena Leroux; Flávio Oquendo (CAL, 2012)

Coqcots & pycots: non-stopping components for safe dynamic reconfiguration. - Jérémy Buisson; Everton Cavalcante; Fabien Dagnat; Elena Leroux; Sébastien Martinez (CBSE, 2014)

Towards a Process to Design Architectures of Service-Oriented Robotic Systems. - Lucas Bueno Ruas de Oliveira; Elena Leroux; Kátia Romero Felizardo; Flávio Oquendo; Elisa Yumi Nakagawa (ECSA, 2014)

The sosADL studio: an architecture development environment for software-intensive systems-of-systems. - Flávio Oquendo; Jérémy Buisson; Elena Leroux; Gersan Moguérou; Jean Quilbeuf (SiSoS@ECSA, 2016)

Safe reconfiguration of Coqcots and Pycots components. - Jérémy Buisson; Fabien Dagnat; Elena Leroux; Sébastien Martinez (J. Syst. Softw., 2016)

ArchSORS: A Software Process for Designing Software Architectures of Service-Oriented Robotic Systems. - Lucas Bueno Ruas de Oliveira; Elena Leroux; Kátia Romero Felizardo; Flávio Oquendo; Elisa Yumi Nakagawa (Comput. J., 2017)

A Formal Approach for Architecting Software-intensive Systems-of-Systems with Guarantees. - Flávio Oquendo; Jérémy Buisson; Elena Leroux; Gersan Moguérou (SoSE, 2018)