Observability and Controllability Issues in Conformance Testing of Web Service Compositions. - Jose Pablo Escobedo; Christophe Gaston; Pascale Le Gall; Ana R. Cavalli (TestCom/FATES, 2009)

Testing Web Service Orchestrators in Context: A Symbolic Approach. - Jose Pablo Escobedo; Christophe Gaston; Pascale Le Gall; Ana R. Cavalli (SEFM, 2010)

Symbolic test case generation for testing orchestrators in context. (Génération des cas de tests symboliques pour tester des orchestrateurs en contexte). - José Pablo Escobedo Del Cid (2010)

Timed Conformance Testing for Orchestrated Service Discovery. - Jose Pablo Escobedo; Christophe Gaston; Pascale Le Gall (FACS, 2011)

Incremental Symbolic Conformance Testing from UML MARTE Sequence Diagrams: Railway Use Case. - Boutheina Bannour; Christophe Gaston; Arnault Lapitre; Jose Pablo Escobedo (HASE, 2012)

Off-Line Test Case Generation for Timed Symbolic Model-Based Conformance Testing. - Boutheina Bannour; Jose Pablo Escobedo; Christophe Gaston; Pascale Le Gall (ICTSS, 2012)

Security Weaknesses Detection by Symbolic Analysis of Scenarios. - Boutheina Bannour; Jose Pablo Escobedo; Christophe Gaston; Pascale Le Gall; Gabriel Pedroza (APSEC (1), 2014)

Designing Sequence Diagram Models for Robustness to Attacks. - Boutheina Bannour; Jose Pablo Escobedo; Christophe Gaston; Pascale Le Gall; Gabriel Pedroza (ICST Workshops, 2014)