Travelled to:1 × Japan
1 × Switzerland
1 × USA
Collaborated with:P.L.Gall N.Rapin C.Gaston A.Faivre
Talks about:symbol (3) test (3) techniqu (2) purpos (2) execut (2) refin (2) definit (1) concret (1) action (1)
Person: Assia Touil
DBLP: Touil:Assia
Contributed to:
2008
2007
2006Wrote 3 papers:
- TestCom-FATES-2008-FaivreGGT #refinement
- Test Purpose Concretization through Symbolic Action Refinement (AF, CG, PLG, AT), pp. 184–199.
- TAP-2007-GallRT #execution #refinement #symbolic computation #testing
- Symbolic Execution Techniques for Refinement Testing (PLG, NR, AT), pp. 131–148.
- TestCom-2006-GastonGRT #execution #symbolic computation
- Symbolic Execution Techniques for Test Purpose Definition (CG, PLG, NR, AT), pp. 1–18.