Travelled to:1 × Spain
Collaborated with:D.Gaffé M.Auguin
Talks about:reactiv (1) generat (1) automat (1) system (1) autseg (1) embed (1) test (1) set (1)
Person: Mariem Abdelmoula
DBLP: Abdelmoula:Mariem
Contributed to:
Wrote 1 papers:
- ICTSS-2014-AbdelmoulaGA #automation #embedded #generative #named #testing
- AUTSEG: Automatic Test Set Generator for Embedded Reactive Systems (MA, DG, MA), pp. 97–112.












