BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Touil:Assia

Contributed to:

TestCom/FATES 20082008
TAP 20072007
TestCom 20062006

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.