Travelled to:
1 × France
Collaborated with:
T.Ghasempouri G.Pravadelli
Talks about:
behaviour (1) extract (1) automat (1) execut (1) assert (1) trace (1) model (1)
Person: Alessandro Danese
DBLP: Danese:Alessandro
Contributed to:
Wrote 1 papers:
- DATE-2015-DaneseGP #automation #behaviour #execution #modelling
- Automatic extraction of assertions from execution traces of behavioural models (AD, TG, GP), pp. 67–72.