|
Search the dblp DataBase
Assia Touil:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Marc Aiguier, Pascale Le Gall, Delphine Longuet, Assia Touil
A Temporal Logic for Input Output Symbolic Transition Systems. [Citation Graph (0, 0)][DBLP] APSEC, 2005, pp:43-50 [Conf]
- Christophe Gaston, Pascale Le Gall, Nicolas Rapin, Assia Touil
Symbolic Execution Techniques for Test Purpose Definition. [Citation Graph (0, 0)][DBLP] TestCom, 2006, pp:1-18 [Conf]
- Pascale Le Gall, Nicolas Rapin, Assia Touil
Symbolic Execution Techniques for Refinement Testing. [Citation Graph (0, 0)][DBLP] TAP, 2007, pp:131-148 [Conf]
Testing of Abstract Components. [Citation Graph (, )][DBLP]
Test Purpose Concretization through Symbolic Action Refinement. [Citation Graph (, )][DBLP]
Search in 0.001secs, Finished in 0.001secs
|