Assia Touil

Publication Activity (10 Years)

Years Active: 2005-2010
Publications (10 Years): 0

Publications

Bilal Kanso, Marc Aiguier, Frédéric Boulanger, Assia Touil
Testing of Abstract Components. ICTAC (2010)
Alain Faivre, Christophe Gaston, Pascale Le Gall, Assia Touil
Test Purpose Concretization through Symbolic Action Refinement. TestCom/FATES (2008)
Pascale Le Gall, Nicolas Rapin, Assia Touil
Symbolic Execution Techniques for Refinement Testing. TAP (2007)
Christophe Gaston, Pascale Le Gall, Nicolas Rapin, Assia Touil
Symbolic Execution Techniques for Test Purpose Definition. TestCom (2006)
Marc Aiguier, Pascale Le Gall, Delphine Longuet, Assia Touil
A Temporal Logic for Input Output Symbolic Transition Systems. APSEC (2005)