Assia Touil

According to our database, Assia Touil authored at least 5 papers between 2005 and 2010.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2010

Testing of Abstract Components.

Bilal Kanso, Marc Aiguier, Frédéric Boulanger, Assia Touil

Proceedings of the Theoretical Aspects of Computing, 2010

2008

Test Purpose Concretization through Symbolic Action Refinement.

Alain Faivre, Christophe Gaston, Pascale Le Gall, Assia Touil

Proceedings of the Testing of Software and Communicating Systems, 2008

2007

Symbolic Execution Techniques for Refinement Testing.

Pascale Le Gall, Nicolas Rapin, Assia Touil

Proceedings of the Tests and Proofs - 1st International Conference, 2007

2006

Symbolic Execution Techniques for Test Purpose Definition.

Christophe Gaston, Pascale Le Gall, Nicolas Rapin, Assia Touil

Proceedings of the Testing of Communicating Systems, 2006

2005

A Temporal Logic for Input Output Symbolic Transition Systems.

Marc Aiguier, Pascale Le Gall, Delphine Longuet, Assia Touil

Proceedings of the 12th Asia-Pacific Software Engineering Conference (APSEC 2005), 2005