Assia Touil
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2005–2010
Best venue rank
C
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2010 | ICTAC | Testing of Abstract Components. | Bilal Kanso, Marc Aiguier, Frdric Boulanger, Assia Touil |
| 2007 | TAP | Symbolic Execution Techniques for Refinement Testing. | Pascale Le Gall, Nicolas Rapin, Assia Touil |
| 2005 | APSEC | A Temporal Logic for Input Output Symbolic Transition Systems. | Marc Aiguier, Pascale Le Gall, Delphine Longuet, Assia Touil |