Travelled to:1 × Korea
Collaborated with:∅
Talks about:transform (1) generat (1) toward (1) verif (1) model (1) autom (1) test (1)
Person: Maher Lamari
DBLP: Lamari:Maher
Contributed to:
2007Wrote 1 papers:
- SAC-2007-Lamari #automation #generative #model transformation #testing #towards #verification
- Towards an automated test generation for the verification of model transformations (ML), pp. 998–1005.