Automated testing support for reactive domain-specific modelling languages.

Bart Meyers, Joachim Denil, Istvn Dvid, Hans Vangheluwe

Browse the full SLE paper archive.