A Temporal Logic for Input Output Symbolic Transition Systems. - Marc Aiguier; Pascale Le Gall; Delphine Longuet; Assia Touil (APSEC, 2005)

Symbolic Execution Techniques for Test Purpose Definition. - Christophe Gaston; Pascale Le Gall; Nicolas Rapin; Assia Touil (TestCom, 2006)

Symbolic Execution Techniques for Refinement Testing. - Pascale Le Gall; Nicolas Rapin; Assia Touil (TAP, 2007)

Test Purpose Concretization through Symbolic Action Refinement. - Alain Faivre; Christophe Gaston; Pascale Le Gall; Assia Touil (TestCom/FATES, 2008)

Testing of Abstract Components. - Bilal Kanso; Marc Aiguier; Frédéric Boulanger; Assia Touil (ICTAC, 2010)