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.