Travelled to:
1 × Italy
1 × Spain
Collaborated with:
A.Ressouche M.Abdelmoula M.Auguin
Talks about:
toolkit (1) reactiv (1) generat (1) automat (1) system (1) autseg (1) embed (1) test (1) clem (1) set (1)
Person: Daniel Gaffé
DBLP: Gaff=eacute=:Daniel
Contributed to:
Wrote 2 papers:
- ICTSS-2014-AbdelmoulaGA #automation #embedded #generative #named #testing
- AUTSEG: Automatic Test Set Generator for Embedded Reactive Systems (MA, DG, MA), pp. 97–112.
- ASE-2008-GaffeR #tool support
- The Clem Toolkit (DG, AR), pp. 495–496.